Du verwendest einen veralteten Browser. Es ist möglich, dass diese oder andere Websites nicht korrekt angezeigt werden. Du solltest ein Upgrade durchführen oder ein alternativer Browser verwenden.
ich suche einen Listener, der schaut, ob der Benutzer die Fenstergröße ändert.
Im WindowsListener ist diese Funktion komischerweise nicht implementiert, also ein windowResized().
Weiß jemand eine Lösung?
Ich habs durch regelmäßiges Überprüfen gemacht.
Ein Listener wär mir auch lieber.
Dabei ist mir aufgefallen, dass repaint() nur aufgerufen wird, wenn die Fenstergröße in x oder y vergrößert wird, beim Verkleinern nicht (sonst könnte man es in repaint abfragen)