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

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

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

@@ 12行目: / 12行目: @@
 *[[ダイアログ ボックス:ファイルから置換|ファイルから置換]]
 *[[ダイアログ ボックス:編集モードの設定|編集モードの設定]]
-*[[ダイアログ ボックス:編集モードのプロパティ|編集モードのプロパティ]]
 *[[ダイアログ ボックス:ツール バーのカスタマイズ|ツール バーのカスタマイズ]]
 *[[ダイアログ ボックス:マーカーの設定|マーカーの設定]]
@@ 20行目: / 19行目: @@
 *[[ダイアログ ボックス:プラグインの設定|プラグインの設定]]
 *[[ダイアログ ボックス:外部ツールの設定|外部ツールの設定]]
-*[[ダイアログ ボックス:外部ツールのプロパティ|外部ツールのプロパティ]]
 *[[ダイアログ ボックス:ポップアップ メニューの設定|ポップアップ メニューの設定]]
 *[[ダイアログ ボックス:キーボードマップ|キーボードマップ]]
 *[[ダイアログ ボックス:バージョン情報|バージョン情報]]