Thank you all for your help. At the moment, after a reboot, I am not seeing
this problem, so it might have gone away. It might also be related to the
use of a projector, because the last time the problem started was during a
presentation (which is why I would like to get to the bottom of it at some
point). I will keep you posted if the problem resurfaces.
All the best,
Christian
On 06/24/2016 06:21 PM, Andreas Wagner wrote:
Hi,
* Oxygen XML Editor Support (Adrian Buza) dixit [2016-06-24 11:07]:
Is there a way to force Java in doing an update?
Any window size change should trigger a repaint of the window.
The simplest way to trigger a window repaint is to toggle on and off
window maximization (double click twice the title bar of the Oxygen window).
I don't know if this is of any help, but some time ago I have set two
environment variables to mitigate some Java/UI problems. (Also I did not
check if they're still necessary now.) I am using another distribution and a
window manager less popular than the defaults (Archlinux and dwm), but maybe
something along those lines could help in this case as well, at least they
might provide some new starting points for further google searches:
_JAVA_OPTIONS=-Dawt.useSystemAAFontSettings=on -Dswing.aatext=true
_JAVA_AWT_WM_NONREPARENTING=1
Regards,
Andreas
_______________________________________________
oXygen-user mailing list
oXygen-user@oxygenxml.com
https://www.oxygenxml.com/mailman/listinfo/oxygen-user
