diff options
author | Alexey Yakovenko <waker@users.sourceforge.net> | 2014-01-19 13:58:56 +0100 |
---|---|---|
committer | Alexey Yakovenko <waker@users.sourceforge.net> | 2014-01-19 13:58:56 +0100 |
commit | a28632ec78486dbc3cd9c011810f96cfe2738f1e (patch) | |
tree | 48ed0d851151a4624329ad38f6350faf26fa9f97 /configure.ac | |
parent | b9bfcd5b01a8d222ab7c2b421b73c00bf484dd83 (diff) |
gtkui: hide hotkeys tab in preferences, if the hotkeys plugin is not available
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions