WZ EDITOR 15
■ このスレッドは過去ログ倉庫に格納されています
0306名無しさん@お腹いっぱい。
2011/01/23(日) 03:39:00ID:SijVCghw0当時とはメインプログラマが違うんじゃないか?
なんでコメント内ブロックに他の色を優先させなきゃなんねーんだよ
>>304
コメントを丸ごとグレーアウトさせたい場合等、コメント内の"〜"に色がついてしまうと困る
段落内範囲の優先順位を常に上にしなければいけないという制約は窮屈だ
>>297が言ってる不具合といい、""の扱いが全般的に変だな
どうも今の作者は色分け設定が苦手らしい
URL・段落内範囲("文字列")
の優先度をデフォルト設定で高めに設定しているあたり、作者自身もこれらの不具合に気がついていた節がある
優先度高くURLとして色付けしておけば、文中の//をコメントとして誤検出する確率が減るし、
""で囲った場所を先に色付けしておけば、""内の//や#を行末コメントとして誤検出せずにすむからだろう
しかし色分けの優先順位を変更したい場合に、不具合はすぐに露呈する
昔のWZでできた事ができなくなった
現状では「行末」+「文字列1」の色分けは信頼できないので、正規表現で逃げるしかない
>>297の不具合は逃げようがない
優先順位をいじる事で逃げた作者にこの不具合を直す技量があるかどうか・・・期待する
■ このスレッドは過去ログ倉庫に格納されています