| |
マーク一覧のウィンドウですが、一応、サイズが変更できるようになっていて、サイ
ズ（特に横幅）を広げれば、「行頭の数文字」の所はもっと長く見えるはずだと思い
ます。
Windows10/11だと、ウィンドウの周りの線が、果たしてサイズ変更できるのかどうか
見分けが付かなくなってしまってますが、一応、マウスカーソルを境界付近に位置さ
せると、サイズ変更用の矢印になるのが確認できると思います。またはウィンドウの
右下にある
⊿
みたいな所をドラッグしてもサイズ変更できます。
マーク一覧以外でも、たとえは検索ダイアログは横方向のみサイズ変更で出来たり、
他にもいろいろサイズ変更できる所があります。
|
|