From: Johan Veenhuizen <veenhuizen@us...> - 2007-08-19 12:30:31
I have just released Karmen 0.12. Here's the change log:
* New menu look.
* Optimize repainting of widgets.
* Add options -display, -font, -help and -version.
* Fix a long-standing bug causing some windows not to be managed
correctly when Karmen starts.
* Allow windows to be as small as 1x1 pixel.
* Improved text positioning in window titles and menus.