<p dir="ltr">Hi Srdjan,</p>
<p dir="ltr">On 14 Nov 2012 20:49, <<a href="mailto:ism.a@inode.at">ism.a@inode.at</a>> wrote:<br>
> [...]<br>
> (So yes, I want fullscreen, but with the panel - this is IMHO the quickest<br>
> and simplest way to do it).<br>
><br>
> >  All this belongs to bugzilla, as I said already.<br>
><br>
> I'll upload the patch, thanks.</p>
<p dir="ltr">Sorry, I was mostly replying the all thread (people complaining I don't approve every possible feature), not everything I wrote was intended for you specifically :-) </p>
<p dir="ltr">The functionality could be useful to some (disabled by default), de-maximizing could be achieved by either the win menu via alt-space or the key shortcut.</p>
<p dir="ltr">It would need a bit of work, though, but not that much, a good start if you're willing to contribute...</p>
<p dir="ltr">Cheers,<br>
Olivier</p>