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-g...
arrived in Gtk 2.16. Currently the configure script accepts gtk >= 2.8.
Cheers, Erik