返信

> ご返信ありがとうございます。 > > > ご指摘の通り実用にそれほど支障がない部分ですし、ちょっと疑問に思っただけで理由が分かれば十分ですので、対応なしでも構いません。 > 今、作ってみているところですが、そう言っていただけると気持ちが楽になります ^^ > > > うーん、ちょっと変なところに触ってしまったかな。 > > 他の人がどういう使い方をしているか分かりませんが、今のほうが良いという人もいそうですし、私も今のままで良いと思います。 > > この質問はなかったことにしてもらえませんかー？＾＾； > > いいえー、これは大丈夫だと思います。色分け属性の重ね合わせは、実験的な仕様変更だったので、不都合が発生する場合は元に戻す前提でした。 > > ご指摘いただいた内容は想定の範囲外で、現状の仕様では改善が難しい部分なので、やはりマーカーと検索文字列の同時着色については廃止したほうが仕様的にも奇麗ですし、視認性・実用性も高まると思います。

マークダウンを有効にする