Follow-up Comment #3, bug #27715 (project xboard):
OK, apparently the menu bar (which in my system is unobservable against the
background) apparently did not stretch all the way to the right edge of the
window, but was just the size of the menu strings. As a result scaling the
window would scale the width of the menu bar proportionally, producing the
effects you described.
I will fix it by chaining the right edge of the menu bar to the left edge of
the window, so that the width of the menu bar will no longer vary when the
window is resized.
Effect (1) I could not reproduce, but I have added a DrawPosition call to the
function VariantSwitch for another reason, and that quite likely fixes this
problem too.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?27715>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
_______________________________________________
Bug-XBoard mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/bug-xboard
