On 05/08/11 06:00, David Gowers (kampu) wrote: > Well, I'll put an override in my gtkrc -- oops, looks like it was > already set to 2. Which is BOTH (which explains why your fix had no > effect -- it was just enforcing my existing setup) [ > http://gtk.php.net/manual/en/html/gtk/gtk.enum.toolbarstyle.html ] > > hmm. (so I reset it to 0 (ICONS))
Okay, turns out GTK is buggy too - or at least not behaving as documented. Rather than faff around with it, I've just forced the toolbar to GTK_TOOLBAR_ICONS for all users, heedless of their personal settings. Patches for doing the right thing are welcome, and I want to do the right thing, but I don't have the time or energy to chase this one further right now. -- Andrew Chadwick _______________________________________________ Mypaint-discuss mailing list Mypaint-discuss@gna.org https://mail.gna.org/listinfo/mypaint-discuss
