| commit | 82dcc944c202258ee9520db780b146b4d30c25ee | |
| author | Iain Patterson <wm@iain.cx> | |
| Fri, 18 Oct 2013 16:38:25 +0000 (18 17:38 +0100) | ||
| committer | Carlos R. Mafra <crmafra@gmail.com> | |
| Sat, 19 Oct 2013 12:48:58 +0000 (19 09:48 -0300) | ||
| tree | c17480ab1c744577c4e06715a5d14785497411b0 | treesnapshot (tar.gz zip) |
| parent | 766e8ad57513f2e9f24cdcf96b5dc7cc5c656521 | commitdiff |
Update shortcut labels for Other maximization submenu.
The shortcut labels for items in the "Other maximization" menu were set
at startup and not updated if the user changed the shortcut key. Thus
the labels shown could be wrong. They might even be missing if no
shortcut was assigned at startup but was subsequently set during the
session.
We now ensure that the shortcut labels are updated with the menu
whenever preferences are reloaded.
The shortcut labels for items in the "Other maximization" menu were set
at startup and not updated if the user changed the shortcut key. Thus
the labels shown could be wrong. They might even be missing if no
shortcut was assigned at startup but was subsequently set during the
session.
We now ensure that the shortcut labels are updated with the menu
whenever preferences are reloaded.
| src/winmenu.c | diffblobblamehistory |