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)
commit32897a3d95b7772d44ddd14e2ac8bc154cfe4542
tree5d535706b164d788db0c7130645a1a93365b5657
parent09db24c18659c90feb9ca99366cf10d0c7b047c5
gui: Put a separator line before list of windows in Windows menus.

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.
src/ui/gui/psppire-window.c