ver 0.3.0 ではデバッガに関する設定項目が ver 0.2.x までとは変更になっています。
これらを設定ファイルに記載している場合は
このドキュメントの設定の章
--- nono/doc/upgrade-0.3.0.html 2026/04/29 17:05:11 1.1 +++ nono/doc/upgrade-0.3.0.html 2026/04/29 17:05:15 1.1.1.2 @@ -38,7 +38,18 @@ q:after { dt.dt-indent { padding-left: 1ex; } +.h4 { + font-weight: bold; + font-size: 110%; +} +.h5 { + font-weight: bold; + padding-left: 1ex; +} .main { + margin-left: 2em; +} +.main1 { margin-left: 1em; } .cons { @@ -68,7 +79,7 @@ dt.dt-indent {
How to migrate from ver 0.2.x to ver 0.3.0