2007-12-05: still not a journal

Iain’s compositor patch had some glitches and therefore didn’t make it into trunk this weekend, but I’m still hopeful it’ll be in within the week. Digg has picked up the story. And some people used Coverity’s source checking system to find some bugs, which they raised.

Also, a live point of discussion: Some people like to use alt and a mouse button for menu, resize and move. But some people only have two mouse buttons. What should we do about that?