From 63a888efb0a0ff7b86aabac4df29efd9cb5e0a68 Mon Sep 17 00:00:00 2001 From: zhangmeng <1334717033@qq.com> Date: Sat, 18 Nov 2023 18:27:26 +0800 Subject: [PATCH] =?UTF-8?q?2023=E5=B9=B411=E6=9C=8818=E6=97=A518:27:09?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/main/java/com/zhangmeng/tools/components/RxEditer.java | 3 ++- .../tools/controller/EditorListImplController.java | 6 +++--- 2 files changed, 5 insertions(+), 4 deletions(-) diff --git a/src/main/java/com/zhangmeng/tools/components/RxEditer.java b/src/main/java/com/zhangmeng/tools/components/RxEditer.java index 3c1ad02..cedf441 100644 --- a/src/main/java/com/zhangmeng/tools/components/RxEditer.java +++ b/src/main/java/com/zhangmeng/tools/components/RxEditer.java @@ -52,7 +52,7 @@ public class RxEditer extends AnchorPane{ changeStyleViaThemeXml(them_name); } - public RxEditer(String style) { + public RxEditer(String style,String theme) { SwingNode sn = new SwingNode(); new Thread(()->{ SwingUtilities.invokeLater(() -> { @@ -80,6 +80,7 @@ public class RxEditer extends AnchorPane{ column.setValue(columnnum); }); RTextScrollPane sp = new RTextScrollPane(textArea); + changeStyleViaThemeXml(theme); sn.setContent(sp); }); }).start(); diff --git a/src/main/java/com/zhangmeng/tools/controller/EditorListImplController.java b/src/main/java/com/zhangmeng/tools/controller/EditorListImplController.java index 146e02c..c2c8e38 100644 --- a/src/main/java/com/zhangmeng/tools/controller/EditorListImplController.java +++ b/src/main/java/com/zhangmeng/tools/controller/EditorListImplController.java @@ -571,7 +571,7 @@ public class EditorListImplController { //默认选择第一个 listView.getSelectionModel().select(1); if (!flag) { - swingEditor = new RxEditer(null); + swingEditor = new RxEditer(null,"idea"); root = swingEditor; } else { root = acJsEditor; @@ -833,8 +833,8 @@ public class EditorListImplController { case SQL -> style = SyntaxConstants.SYNTAX_STYLE_SQL; case MARKDOWN -> style = SyntaxConstants.SYNTAX_STYLE_MARKDOWN; } - RxEditer rx = new RxEditer(style); - rx.setTheme("idea"); + RxEditer rx = new RxEditer(style,"idea"); +// rx.setTheme("idea"); rx.setText(file_content); tab.setContent(rx); }