>>>>> "Jürgen" == Jürgen Spitzmüller <[EMAIL PROTECTED]> writes:
Jürgen> Another con is that some people do not like the lyxview area Jürgen> to be resized (which happens if the minibuffer hides), so I Jürgen> wouldn't make this the general behaviour (even if the Jürgen> implementation would be trivial). But it would only trigger if the minibuffer toolbar is in auto mode. I'll try to implement it later to see if it really makes sense. JMarc
