Changes between Version 18 and Version 24 of Ticket #3209


Ignore:
Timestamp:
Nov 19, 2010, 7:47:16 PM (14 years ago)
Author:
bonefish
Comment:
  • 4 is done.
  • 6 you can do yourself by setting the tab title pattern in the settings respectively. I find the (now) current default more useful, though.
  • 7 is done.
  • 8 can be implemented only with the shell's help I guess. I haven't checked what Adrien has done in this respect. Personally I don't find this feature interesting enough to implement it, but if someone else feels like implementing it and it doesn't get in the way...
  • 9 is something I can only frown upon. ;-)

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #3209

    • Property Patch 1 → 0

  • Ticket #3209 – Description

    v18 v24  
    2525* Selected Background~~
    2626
    27 4. If there is more than one Tab in a Terminal window, ALT+W should only close the current Tab, not the whole window with all the tabbed sessions. That's what ALT+Q is for.
     27~~4. If there is more than one Tab in a Terminal window, ALT+W should only close the current Tab, not the whole window with all the tabbed sessions. That's what ALT+Q is for.~~
    2828
    2929~~5. Only the current Tab should be light grey. The others should be darker to have the active one stand out.~~
    3030
    31 6. Instead of "Shell 1,2,3" name each Tab "Alt+1, 2, 3" to remind people of the switching shortcuts. This should take in account the Menu preference setting if anybody uses "CONTROL" instead of "ALT".
     31~~6. Instead of "Shell 1,2,3" name each Tab "Alt+1, 2, 3" to remind people of the switching shortcuts. This should take in account the Menu preference setting if anybody uses "CONTROL" instead of "ALT".~~
    3232
    33 7. A bit more complicated: Have a double-click on the "Alt+1,2,3" Tab-label enter editing mode to rename a Tab.
     33~~7. A bit more complicated: Have a double-click on the "Alt+1,2,3" Tab-label enter editing mode to rename a Tab.~~
    3434
    35358. Tabbed-Terminals that are busy could show a little icon in the tab that gets removed when the prompt's back.