Right-click settings menu (runtime options, persisted)

[paehtz]

A right-click settings menu on the bar, so options can be changed at runtime without editing the script — the central hub for a richer tool.

Menu (right-click on the bar)

Runtime toggles, persisted to settings.ini:

• Show index numbers on/off (ShowIndex)
• Colour coding on/off
• Theme: auto / light / dark
• DockMode: on / above
• Snap to taskbar on/off
• (later) compact mode
• Host the per-tab icon assignment (see the per-tab icons issue)

Notes

• Build with an AHK Menu object, opened via the right-click / context-menu event.
• Each toggle updates CONF, rebuilds the bar, and writes the value to settings.ini.