gui: Put a separator line before list of windows in Windows menus.
authorBen Pfaff <blp@cs.stanford.edu>
Wed, 6 Apr 2011 04:30:34 +0000 (21:30 -0700)
committerBen Pfaff <blp@cs.stanford.edu>
Tue, 3 May 2011 14:52:48 +0000 (07:52 -0700)
I found it a bit confusing before, that the list of windows in the
Windows menu was not separated from the list of actions of windows.
This fixes the problem.

Simply adding a separator item to the .ui files doesn't work, because
GtkUIManager removes it.  The same thing happens if we add a separator
without adding a real menu item at the same time.

Thanks to John Darrington for suggesting the root of the problem.


No differences found