Re: [Wsmanager-devel] Seed of 0.5.1 :)

[Kevin B. <ke...@sb...>]

On Feb 12, 2004, at 8:49 AM, Richard Wareham wrote:

>  * Can now optionally display current desktop's name on desktop.

That's cool, although it might be useful to have a size control as well.

>  * Mouse pointer warping is configurable.

However, the mouse pointer still inverts its Y axis when it warps due 
to Active Edges.

>  * Hot-key implementation now uses Keyboard Layout Services API -- this
>    means that foreign keyboards should have better support (I hope).

Whenever I open prefs, I get this in the Console:

2004-02-12 10:15:15.753 Desktop Manager[1969] Couldn't convert keycode 
0 into a letter.
2004-02-12 10:15:15.754 Desktop Manager[1969] Couldn't convert keycode 
0 into a letter.
2004-02-12 10:15:17.989 Desktop Manager[1969] Couldn't convert keycode 
15 into a letter.
2004-02-12 10:15:17.992 Desktop Manager[1969] Couldn't convert keycode 
31 into a letter.
2004-02-12 10:15:17.993 Desktop Manager[1969] Couldn't convert keycode 
35 into a letter.
2004-02-12 10:15:17.995 Desktop Manager[1969] Couldn't convert keycode 
18 into a letter.
2004-02-12 10:15:17.996 Desktop Manager[1969] Couldn't convert keycode 
19 into a letter.
2004-02-12 10:15:17.999 Desktop Manager[1969] Couldn't convert keycode 
20 into a letter.
2004-02-12 10:15:18.083 Desktop Manager[1969] Couldn't convert keycode 
15 into a letter.
2004-02-12 10:15:18.085 Desktop Manager[1969] Couldn't convert keycode 
31 into a letter.
2004-02-12 10:15:18.086 Desktop Manager[1969] Couldn't convert keycode 
35 into a letter.
2004-02-12 10:15:18.087 Desktop Manager[1969] Couldn't convert keycode 
18 into a letter.
2004-02-12 10:15:18.088 Desktop Manager[1969] Couldn't convert keycode 
19 into a letter.
2004-02-12 10:15:18.089 Desktop Manager[1969] Couldn't convert keycode 
20 into a letter.
2004-02-12 10:17:02.652 Desktop Manager[1969] Couldn't convert keycode 
15 into a letter.
2004-02-12 10:17:02.654 Desktop Manager[1969] Couldn't convert keycode 
31 into a letter.
2004-02-12 10:17:02.656 Desktop Manager[1969] Couldn't convert keycode 
35 into a letter.
2004-02-12 10:17:02.657 Desktop Manager[1969] Couldn't convert keycode 
18 into a letter.
2004-02-12 10:17:02.659 Desktop Manager[1969] Couldn't convert keycode 
19 into a letter.
2004-02-12 10:17:02.660 Desktop Manager[1969] Couldn't convert keycode 
20 into a letter.

Presumably that's because not all keys have a corresponding letter 
(although I do note that 0 is displayed twice). Maybe these messages 
could be muted?

>  * Crash related to adding/removing desktops when status bar pager 
> displayed
>    is now fixed (developer whacks himself with big book of Objective-C 
> memory
>    management clue). [ Kevin Ballard <kevin --at-- wpi.edu.remove> ]

Yay, I feel so useful :D

Could you perhaps include the other patch I submitted? The one that not 
only synchronizes the pagers but fixes 99% of the screen rect errors in 
the console. It's a rather simple change...

-- 
Kevin Ballard
ke...@sb...
http://www.tildesoft.com
http://kevin.sb.org