The problem is not resolved at all for kde apps (kile for example), many refresh problems occur (running under gnome).
The problem is not resolved at all for kde apps (kile for example), many refresh problems occur (running under gnome).