UI enhancement: toggle panels, shortcuts, new icons, slimmer layout

This commit is contained in:
michael
2011-01-17 16:34:07 -05:00
parent d2e9d0140e
commit d1a479a4bc
16 changed files with 305 additions and 55 deletions

View File

@@ -213,8 +213,8 @@ bool ToolBar::handleShortcutKey (GdkEventKey* event) {
case GDK_S:
stra_pressed ();
return true;
case GDK_n:
case GDK_N:
case GDK_h:
case GDK_H:
hand_pressed ();
return true;
}