Author Topic: Several suggestions for workspace optimization  (Read 24104 times)

Offline Folco

  • Regular
  • ***
  • Posts: 343
    • Folco's blog (68k lover)
Re: Several suggestions for workspace optimization
« Reply #15 on: December 23, 2011, 01:47:16 pm »
I hadn't see that :
Quote
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__ !
Kernel Extremist - PedroM power ©

Offline oBFusCATed

  • Developer
  • Lives here!
  • *****
  • Posts: 13413
    • Travis build status
Re: Several suggestions for workspace optimization
« Reply #16 on: December 23, 2011, 09:03:28 pm »
I doubt it is possible. But you can try to hack it and then post the patch.
(most of the time I ignore long posts)
[strangers don't send me private messages, I'll ignore them; post a topic in the forum, but first read the rules!]

Offline Jenna

  • Administrator
  • Lives here!
  • *****
  • Posts: 7255
Re: Several suggestions for workspace optimization
« Reply #17 on: December 24, 2011, 11:04:16 pm »
I hadn't see that :
Quote
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.

Offline Jenna

  • Administrator
  • Lives here!
  • *****
  • Posts: 7255
Re: Several suggestions for workspace optimization
« Reply #18 on: December 24, 2011, 11:30:24 pm »
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.
« Last Edit: December 24, 2011, 11:32:17 pm by jens »

Offline Kalith

  • Multiple posting newcomer
  • *
  • Posts: 67
Re: Several suggestions for workspace optimization
« Reply #19 on: December 25, 2011, 12:34:48 am »
That's a nice Christmas present ;D ! Thank you jens (and as I have the opportunity : thank you also for your ubuntu repository !)

Offline Folco

  • Regular
  • ***
  • Posts: 343
    • Folco's blog (68k lover)
Re: Several suggestions for workspace optimization
« Reply #20 on: December 27, 2011, 01:26:45 pm »
Thanks Jens, and happy Christmas !!!


(OMG, I had 2⁸ messages before this one \o/)
Kernel Extremist - PedroM power ©