[Geany-devel] [PATCH 19/19] Use per document indent sizes

[Erik de Castro Lopo]

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
-- 
----------------------------------------------------------------------
Erik de Castro Lopo
http://www.mega-nerd.com/