Several suggestions for workspace optimization

[Folco]

I hadn't see that :

I'd also apreciate a toggle that hides/show file tabs, as I never use these : too many files to cycle through, I prefer the project hierarchy on the left.

Is there a way to remove that tab bar ? I never used it too, too many files, I use the worskpace view, really more usefull __for me__ !

[oBFusCATed]

I doubt it is possible. But you can try to hack it and then post the patch.

[Jenna]

I hadn't see that :

I'd also apreciate a toggle that hides/show file tabs, as I never use these : too many files to cycle through, I prefer the project hierarchy on the left.

Is there a way to remove that tab bar ? I never used it too, too many files, I use the worskpace view, really more usefull __for me__ !

I doubt it is possible. But you can try to hack it and then post the patch.

It's easy to do.
If I find the time, I create a patch and post it here.

[Jenna]

If I find the time, I create a patch and post it here.

Here it comes.
There is a new checkbox: "Settings -> Environment... -> Notebooks appearance -> Hide editor tabs", it's unchecked by default.

Don't forget to run update[.bat] after compilation.

Btw.: it's not tested on windows.

[Kalith]

That's a nice Christmas present ;D ! Thank you jens (and as I have the opportunity : thank you also for your ubuntu repository !)

[Folco]

Thanks Jens, and happy Christmas !!!


(OMG, I had 2⁸ messages before this one \o/)