Sat, 24 May 2008 15:51:11 +0200changed WidgetInspector shortcut to ctrl+home (ctrl+F12 was grabbed by KDE).
etisserant [Sat, 24 May 2008 15:51:11 +0200] rev 153
changed WidgetInspector shortcut to ctrl+home (ctrl+F12 was grabbed by KDE).

Sat, 24 May 2008 11:51:33 +0200add TimerInit() and TimerCleanup() in cf_runtime for matching with Timer_unix
greg [Sat, 24 May 2008 11:51:33 +0200] rev 152
add TimerInit() and TimerCleanup() in cf_runtime for matching with Timer_unix