Add "Other maximization options" to window menu.
commit86fbf8baaab98b4a71563ff9eb45df0a602fcacb
authorDoug Torrance <torrance@vandals.uidaho.edu>
Tue, 15 Oct 2013 03:12:54 +0000 (14 22:12 -0500)
committerCarlos R. Mafra <crmafra@gmail.com>
Tue, 15 Oct 2013 22:03:53 +0000 (15 23:03 +0100)
tree466efa9d5bac2c482d9b52b8df0261e85a7e9207
parent3ba54ed0d6da517e08858f9592c034f14a7d348f
Add "Other maximization options" to window menu.

There are a number of window maximization options which are currently
only available to the user via keyboard shortcut:
     * maximize vertically/horizontally
     * maximize left/right/top/bottom half
     * maximize left top/right top/left bottom/right bottom corner
     * maximus

In this patch, they become available through the window menu, under
the "Other maximization options" submenu.
src/winmenu.c