Re: [PATCH] Auto feature for minibuffer toolbar

[Jean-Marc Lasgouttes]

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