12-27-2002, 12:38 PM -
I agree with all of tb's suggestions, and add a few of my own.
First, it would be handy to be able to switch between desktops by placing the mouse at the screen's edge for a couple of seconds. For instance, if you're on desktop 1, placing the mouse at the bottom edge of the screen for a couple seconds would switch to desktop 3 (and maybe move mouse to top edge of screen, or re-center it?). Placing the mouse at the top right corner of desktop 3 would switch to desktop 2, etc.
Second, it would be helpful to have a sort of "thumbnail" of the appoximate relative size and positions of windows within each desktop. This could be something as simple as little rectangles with a different color border/fill from the rest of the desktop buttons.
Third, if you have a release before you implement skinning support (if you plan on supporting skins), could you please add the option of changing the font color?
All in all, a very useful little plugin
First, it would be handy to be able to switch between desktops by placing the mouse at the screen's edge for a couple of seconds. For instance, if you're on desktop 1, placing the mouse at the bottom edge of the screen for a couple seconds would switch to desktop 3 (and maybe move mouse to top edge of screen, or re-center it?). Placing the mouse at the top right corner of desktop 3 would switch to desktop 2, etc.
Second, it would be helpful to have a sort of "thumbnail" of the appoximate relative size and positions of windows within each desktop. This could be something as simple as little rectangles with a different color border/fill from the rest of the desktop buttons.
Third, if you have a release before you implement skinning support (if you plan on supporting skins), could you please add the option of changing the font color?
All in all, a very useful little plugin