psppire-window: Avoid doubled separator in Windows menu. 20130205032134/pspp 20130206032048/pspp 20130207032111/pspp 20130208032126/pspp 20130209032123/pspp 20130210032050/pspp 20130211032108/pspp 20130212032112/pspp 20130213032105/pspp 20130214032106/pspp 20130215032137/pspp 20130216032128/pspp 20130217032054/pspp 20130218032052/pspp 20130219032106/pspp 20130220032108/pspp 20130221032107/pspp 20130222032012/pspp 20130223032034/pspp 20130224032110/pspp 20130225032119/pspp 20130226031903/pspp 20130227031905/pspp 20130228031906/pspp 20130301031844/pspp 20130302032046/pspp
authorBen Pfaff <blp@cs.stanford.edu>
Tue, 5 Feb 2013 06:40:50 +0000 (22:40 -0800)
committerBen Pfaff <blp@cs.stanford.edu>
Tue, 5 Feb 2013 06:40:50 +0000 (22:40 -0800)
commit7f4e7f1f7846b6a4a68e5f0614ba01ef9ab79fac
tree3d246cb82caa4dc3cf26db580fc03dbe37c0817a
parent70873aba6a1c58b472bcfe301d9e4e3bf3bf068a
psppire-window: Avoid doubled separator in Windows menu.

John Darrington noticed that sometimes the separator was doubled in the
Windows menu.  It seems that the code for detecting that we've already
added the separator was unreliable, because it would re-add the separator
if the number of windows increased from zero, dropped to zero, and then
increased again.
src/ui/gui/psppire-window.c
src/ui/gui/psppire-window.h