Re: [Pan-devel] Toolbar style configuration

[Charles Kerr]

> Just made a couple of changes to the toolbar in the task-manager so that
> one can select which style the toolbar should have (text, icons, etc.).
> 
> Unfortunately I could not make a context menu on the toolbar (any
> ideas?; the button-press-event does not seem to work when used with a
> toolbar) so I had to make it a main menu.
> 
> Should I commit the code or are we in a bug-fixing only period till
> after 0.13.1?

IMO setting the toolbar icon/text preferences belongs in the Edit|Preferences
dialog rather than in a context menu on the toolbar -- is there some existing
precedent for a context menu tht I'm not aware of?

Also, whenever we get around to adding #ifdef GNOME code back into Pan,
we should use Gnome's desktop setting for this and disable the Pan-only setting.

I'd hold off on committing until after we get agreement on the Right Thing...

cheers,
Charles