While we're reworking menus (#643), let's clean these up too.
I honestly kind of forgot they exist, since I pretty much only use the global menu nowadays.
And while we're touching the column header menus, they should receive the Global Settings... as well. Maybe throw in an option in the Settings menu to turn these off as well (probably make the 'turn off global menu' thing a dropdown instead where you can pick one of: only global menu, only column header menus, both.
While we're reworking menus (#643), let's clean these up too. I honestly kind of forgot they exist, since I pretty much only use the global menu nowadays.
And while we're touching the column header menus, they should receive the
Global Settings...as well. Maybe throw in an option in the Settings menu to turn these off as well (probably make the 'turn off global menu' thing a dropdown instead where you can pick one of: only global menu, only column header menus, both.