cohrs dadeed21d2 debian bug #154629 - extended commands in gnome front end ...

Not all of the extended commands worked in the gnome interface because
'#' just caused the next character to be treated as a meta character (this
was a hack I added a while back when none of the extended commands worked).
Resolved by finally adding an extended command menu to the gnome interface.
- updated some formatting so I could read the code
- fixed startup player selection menus so accelerators work
- added necessary calls to make sure selected menu item is visible
- also removed some dead code

2003-10-15 06:02:27 +00:00

36 KiB

Raw Blame History

View Raw