Changes between Initial Version and Version 18 of Ticket #3209
- Timestamp:
- Aug 17, 2010, 9:25:54 AM (14 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #3209
- Property Cc added
- Property Patch 0 → 1
- Property Owner changed from to
- Property Status new → assigned
-
Ticket #3209 – Description
initial v18 6 6 I propose to add these lines to inputrc: 7 7 8 {{{ Control-f: kill-word 8 {{{ 9 Control-f: kill-word 9 10 "\e[1~": beginning-of-line 10 "\e[4~": end-of-line }}} 11 "\e[4~": end-of-line 12 }}} 11 13 12 14 Which will activate HOME and END keys and deletes the word to the right of the cursor with CRTL+F. 13 15 The other lines in that tip refer to international characters which is blocked by another old ticket already, #215. 14 16 15 2. The title tab of Terminal's settings panel should be named like the menu item envoking it: "Terminal Preferences". 17 ~~2. The title tab of Terminal's settings panel should be named like the menu item envoking it: "Terminal Preferences".~~ 16 18 17 3. The colors in the dropdown menu in that panel should be renamed to be more enduser friendly: 19 ~~3. The colors in the dropdown menu in that panel should be renamed to be more enduser friendly:~~ 18 20 * Text 19 21 * Background … … 21 23 * Text under Cursor 22 24 * Selected Text 23 * Selected Background 25 * Selected Background~~ 24 26 25 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. 26 28 27 5. Only the current Tab should be light grey. The others should be darker to have the active one stand out. 29 ~~5. Only the current Tab should be light grey. The others should be darker to have the active one stand out.~~ 28 30 29 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".