Summary: | [PATCH] Window list menu improvement | ||
---|---|---|---|
Product: | [Frameworks and Libraries] kdelibs | Reporter: | Noname Nope <cbou> |
Component: | general | Assignee: | Stephan Kulow <coolo> |
Status: | RESOLVED FIXED | ||
Severity: | wishlist | CC: | l.lunak |
Priority: | NOR | ||
Version: | unspecified | ||
Target Milestone: | --- | ||
Platform: | Compiled Sources | ||
OS: | Linux | ||
Latest Commit: | Version Fixed In: |
Description
Noname Nope
2004-06-07 15:27:41 UTC
The patch has few technical details (BIC, no need to call aboutToHide(), scs can be simply const char[]). And I'm not sure if assigning "arbitrary" numbers to the entries would really make things faster. >The patch has few technical details (BIC, no need to >call aboutToHide(), scs can be simply const char[]). Thanks, I'll fix it. >And I'm not sure if assigning "arbitrary" numbers >to the entries would really make things faster. It make things faster. Two opinions: 1. Window list menu just like kicker, but shows by keypress (like "Menu" key) and points to wanted window just by key, not mouse. With kicker you can't do it, you _must_ use mouse. Using arrow keys is boring (try to switch from window-1 to window-7 and back). 2. When you have about 8 windows and you don't touch (close/move to other desktops) them for a long time, you always remember that Menu_key+1 focus your konqueror with docs.kde.org, Menu_key+6 show your favorite IRC client, Menu_key+8 goes to VIM on desktop3. Yes, if you close some window - numbers will change, but there is no another way, and still it quick to accustom to new numbers. p.s. btw, honestly speaking it is not mine idea, FVWM(?) got same feature for standalone menus, I can't even patent it. ;-) Please replace "1234567890abcdefghijklmnopgrstuvwxyz" by "abcdefghijklmnopgrstuvwxyz1234567890". Why put numbers after letters? Because with AZERTY keyboards, digits need Shift to be typed. I think you have a QUERTY keyboard and so numbers are accessable by only one key press. And we can have a more consistent naming: since if we have more than 10 windows (but less than 26) windows are all accessable by letters, and not a mix of digits and letters. What do you think about that? This works by automatically assigning shortcut letters to the menu. |