「ヘルプ:ダイアログボックス」の版間の差分

2022年9月26日 (月) 22:53時点における最新版

Mery には操作オプションを設定するため、次のダイアログボックスが用意されています。

@@ 4行目: / 4行目: @@
 *[[ダイアログ ボックス:開く|開く]]
 *[[ダイアログ ボックス:名前を付けて保存|名前を付けて保存]]
+*[[ダイアログ ボックス:挿入|挿入]]
 *[[ダイアログ ボックス:印刷|印刷]]
 *[[ダイアログ ボックス:行へ移動|行へ移動]]
@@ 11行目: / 12行目: @@
 *[[ダイアログ ボックス:ファイルから置換|ファイルから置換]]
 *[[ダイアログ ボックス:編集モードの設定|編集モードの設定]]
-*[[ダイアログ ボックス:編集モードのプロパティ|編集モードのプロパティ]]
 *[[ダイアログ ボックス:ツール バーのカスタマイズ|ツール バーのカスタマイズ]]
 *[[ダイアログ ボックス:マーカーの設定|マーカーの設定]]
@@ 19行目: / 19行目: @@
 *[[ダイアログ ボックス:プラグインの設定|プラグインの設定]]
 *[[ダイアログ ボックス:外部ツールの設定|外部ツールの設定]]
-*[[ダイアログ ボックス:外部ツールのプロパティ|外部ツールのプロパティ]]
 *[[ダイアログ ボックス:ポップアップ メニューの設定|ポップアップ メニューの設定]]
 *[[ダイアログ ボックス:キーボードマップ|キーボードマップ]]
 *[[ダイアログ ボックス:バージョン情報|バージョン情報]]