log libgui/src/shortcut-manager.cc @ 18630:a811d45b7ca7 gui-release

age author description
Sun, 06 Apr 2014 10:38:52 +0200 Torsten fix checking duplicates for a new shortcut gui-release
Fri, 04 Apr 2014 22:59:08 +0200 Torsten handle actions from the editors file and edit menu via the shortcut manager gui-release
Tue, 01 Apr 2014 21:29:48 +0200 Torsten first implementation of a shortcut manager (bug #41217) gui-release