-
Gildas Bazin authored
* You can now set a maximum height for the configuration windows in the gtk and gnome plugins. This patch _doesn't change_ the look of the interface unless this interface tries to use more space than allowed, in which case scrollbars are added to make the navigation easy. Note that this setting only affects the default size the interface will use, the user is then free to change the size of the window as he wants. * Tooltips are now triggered only in specific places. This is a lot less intrusive and annoying for the users.
b8b9974f