Le 01/07/2015 11:34, Kornel Benko a écrit :
Thanks, after examining the patch, I already found it. But the lack of a
preference entry
makes it so un-handy.
We need something which could extend the default.ui.
Say it has the content
...
Toolbars
"minibuffer" "auto,off,bottom"
End
Toolbar "extra" "Extra"
Item "Set language slovak" "language slovak"
End
...
This would overwrite only the "minibuffer" entry in defaults.ui and add the
Item to the 'Extra' toolbar from stdtoolbars.inc.
Looking at the code, the Toolbars part should work. What is the problem?
JMarc