On 04/26/2016 06:18 PM, Tim Peeters wrote:
> @Alberto, I proposed before that you lock your header so that it does
> not auto-hide, because if your header is not locked, and you change the
[...]
I don't think that a meeting with the designers is necessary, and I can
certainly live with the fixed header; it's more a matter of principle,
but I don't intend to have a fight over it :-)
On 04/26/2016 06:18 PM, Tim Peeters wrote:
> @Alberto, I proposed before that you lock your header so that it does
> not auto-hide, because if your header is not locked, and you change the
[...]
I don't think that a meeting with the designers is necessary, and I can
certainly live with the fixed header; it's more a matter of principle,
but I don't intend to have a fight over it :-)