A button can be Shift+drag-dropped between the customised toolbars.
Enhancement for all the default toolbars:
“>>” button when truncated by the window width.
I think “Add to Markers” command could be “Add to/Remove from Markers”. Thus we can toggle the marker on a word by using the shortcut key without using the mouse.
[d]The color for “Auto Marker” can be customized.[/d] (I found the setting. Sorry.)
Option: Don’t prompt when deleting a single marker.
Option: Ignore Case by default.
Option: Switch the focus to the editor after replaced.