On 6 August 2010 11:19, Erik de Castro Lopo <[email protected]> wrote: > Jiří Techet wrote: > >> >> Different documents may use different indent size and it's often necessary >> to have all of them opened in parallel and use the correct indent size >> for each of them. >> >> The current implementation doesn't save the indent size to the project and >> session file - this can be added if desired. >> >> Right now the indent size is set from a submenu of the document menu. >> This can be changed to use dialog to set the indent size; also a combined >> approach is possible - display only the common sizes in the submenu >> (2, 4, 8) with "others" item that opens the dialog to set the more esoteric >> indent sizes. > > I like this, but it uses gtk_menu_item_get_label() which according to > this: > > > http://library.gnome.org/devel/gtk/unstable/GtkMenuItem.html#gtk-menu-item-get-label > > arrived in Gtk 2.16. Currently the configure script accepts gtk >= 2.8. > > Cheers, > Erik > --
It should be possible to use ui_menu_item_get_text from ui_utils instead. Cheers Lex > ---------------------------------------------------------------------- > Erik de Castro Lopo > http://www.mega-nerd.com/ > _______________________________________________ > Geany-devel mailing list > [email protected] > http://lists.uvena.de/cgi-bin/mailman/listinfo/geany-devel > _______________________________________________ Geany-devel mailing list [email protected] http://lists.uvena.de/cgi-bin/mailman/listinfo/geany-devel
