> It is a bad choice of size hint function, I have fixed it, however GTK > seems to have a minimum width for that widget, as it won't shrink in > width as much as in height...
Oh - I see why, it is the row of buttons at the top that are constraining the width. Hmm. Which reminds me, some of the menus are too long for some screens. We should really do something about that too. Richard _______________________________________________ Denemo-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/denemo-devel
