|
* 任意の場所にマーク(背景とか下線とか)を付ける機能 [#ef2cf2bc] -ページ: [[Request]] -投稿者: [[anonymous]] -優先順位: 低 -状態: 提案 -カテゴリー: -投稿日: 2018-03-11 (日) 14:13:54 -バージョン: ** メッセージ [#v81a0d71] 任意のテキストを色、背景、下線などで強調する機能が欲しいです。 例えば、Wordだとスペルミスしてそうなところに赤破線が付いていますよね。ああいう感じです。 プラグインでファイルを解析し、その結果が示した場所を強調表示するような用途で使うことができます。 その後に編集しても表示が維持されないといけないので面倒そうですが。 ---- #comment #attach |