I just noticed that the layout name that shows in the title bar affects this problem too. If it's a long name, there's less room on the title bar to push things around, and the screen grows :)

gene


_______________________________________________
geda-user mailing list
geda-user@moria.seul.org
http://www.seul.org/cgi-bin/mailman/listinfo/geda-user

Reply via email to