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
This commit is contained in:
cohrs
2003-10-15 06:02:27 +00:00
parent bf476cae6e
commit dadeed21d2
7 changed files with 201 additions and 97 deletions

View File

@@ -63,6 +63,7 @@ X11: avoid a possible crash when using window manger to close a player
selection window
Gnome: add Quiver menu item, fix outdated Quit menu item
Gnome: key values on unsigned char platform could fail to compare correctly
Gnome: real extended command menu so all extended commands can be entered
tty: avoid crash displaying quit inventory if inventory was already displayed