marabou wrote:

> - if i maximize the main window on the right side 5 pixels are missing.

I noticed this with other programs. I don't know how it's possible to fix 
it, but maybe it's just the window manager's fault (I'm using KDE).
-- 
Felix Wiemann

Post a reply to this message