laurent [Thu, 12 Jan 2012 17:04:22 +0100] rev 624
Fix bug in refreshing menu after tab selection changed
laurent [Mon, 09 Jan 2012 18:16:52 +0100] rev 623
Adding support for checking location validity when filled by user
laurent [Mon, 09 Jan 2012 11:08:08 +0100] rev 622
Fixing bug when building textual code containing comment with special characters
laurent [Sun, 08 Jan 2012 19:33:26 +0100] rev 621
Fixing bug on Windows with refresh when moving Viewer with scrollbars