25.04.2018, 08:39
Da kommen sich das Setzen der Größe in meinem Code und das Swing-Rendering in die Quere. Ich habe gerade gesehen, dass der MapSplitPaneListener vor der Initialisierung der Karte und dem Setzen der DividerLocation passiert. Das hat den ersten Callback an den MapSplitPaneListener zur Folge, der wahrscheinlich ein erneutes Rendering auslöst.
Ich habe die Codezeile jetzt verschoben. Bitte hole doch mal meinen letzten Commit zu Dir herüber und teste.
Ich habe die Codezeile jetzt verschoben. Bitte hole doch mal meinen letzten Commit zu Dir herüber und teste.
--
Christian
Christian
