On Mon, 4 Aug 2008 11:11:37 +0200 Enrico Tröger enrico.troeger@uvena.de wrote:
On Tue, 22 Jul 2008 19:22:59 +0200, Enrico Tröger enrico.troeger@uvena.de wrote:
Hey,
Conclusion: a) while working on it, I realised that it might be not worth to actually use this code. Just drop your comments, ideas, objections here. b) even if we drop this code and keep the old editor menu without customisation, I'm sure we can use the GtkUIManager class to build the toolbar and make it so much more customisable than it is currently. There are less dynamically created items and there it should make really more sense.
Nobody wants to state on this?
A simple yes, no, I don't care would be cool, with some reasons it would be even better :D.
I've been busy with the custom-tab-width branch, haven't had time to try this. I think looking at GtkUIManager is a good idea for menus and the toolbar. I don't know about the popup menu, maybe people wouldn't bother customizing it unless there was a GUI way of doing it.
Regards, Nick