log libgui/src/shortcut-manager.cc @ 18624:a827fc5fe59d gui-release

age author description
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