diff options
author | 2014-02-24 22:32:50 +0100 | |
---|---|---|
committer | 2014-02-24 22:32:50 +0100 | |
commit | d75f611d9a4b14a240b5f63411f736f82f31afcf (patch) | |
tree | ca4a90f1fc5ede5768291981734246f85a4080ec /plugins/hotkeys | |
parent | cc2217c65b38b51d5a9d562d2b4d818eac13c3a9 (diff) |
gtkui: avoid config rewrite if gui layout didn't change
Diffstat (limited to 'plugins/hotkeys')
0 files changed, 0 insertions, 0 deletions