On Fri, Mar 10, 2017 at 10:04:03PM +0100 I heard the voice of Rhialto, and lo! it spake thus: > > I think that in the beginning I was not even aware of the Map state. > [...] Pressing CTRL while the workspace manager has focus, and only > releaseing it when it lost focus, is a good way to switch.
I actually came to that the other way around. Every once in a while, I noticed my workspace manager somehow turned into buttons instead of the minimap. It took me *AGES* to see it happen and realize it came from Ctrl. > > Comments? Agreements? Arguments? Torches and pitchforks? Cake? > > Looks good to me. 'k, well, seems like we don't have any major objections to changing the defaults. So I'll probably switch things over in the next few days, absent last-minute points. -- Matthew Fuller (MF4839) | [email protected] Systems/Network Administrator | http://www.over-yonder.net/~fullermd/ On the Internet, nobody can hear you scream.
