Fix CodeViewer flickering when switching between pages

This commit is contained in:
mkpaz 2022-10-07 22:30:08 +04:00
parent 519549e191
commit 259ee6da61

@ -156,6 +156,7 @@ class MainLayer extends BorderPane {
// set syntax highlight theme according to JavaFX theme // set syntax highlight theme according to JavaFX theme
ThemeManager tm = ThemeManager.getInstance(); ThemeManager tm = ThemeManager.getInstance();
codeViewer.setContent(stream, tm.getMatchingSourceCodeHighlightTheme(tm.getTheme())); codeViewer.setContent(stream, tm.getMatchingSourceCodeHighlightTheme(tm.getTheme()));
codeViewer.setVisible(true);
codeViewerWrapper.toFront(); codeViewerWrapper.toFront();
} catch (IOException e) { } catch (IOException e) {
throw new RuntimeException(e); throw new RuntimeException(e);
@ -164,5 +165,6 @@ class MainLayer extends BorderPane {
private void hideSourceCode() { private void hideSourceCode() {
codeViewerWrapper.toBack(); codeViewerWrapper.toBack();
codeViewer.setVisible(false);
} }
} }