修改行标像素

This commit is contained in:
许轲 2023-08-20 23:33:02 +08:00
parent 6391df41a2
commit 200c090887
4 changed files with 11 additions and 3 deletions

Binary file not shown.

Before

Width:  |  Height:  |  Size: 24 KiB

After

Width:  |  Height:  |  Size: 17 KiB

View File

@ -50,7 +50,7 @@ public class LineNumberTextArea extends BorderPane {
} }
} }
//单数字宽度10像素4为padding=左3+右1 //单数字宽度10像素4为padding=左3+右1
int actualWidth = Math.max(count * 10 + 4, MIN_LINE_NUMBER_WIDTH); int actualWidth = Math.max(count * 10 + 8, MIN_LINE_NUMBER_WIDTH);
if (actualWidth != lineNumberArea.getWidth()) { if (actualWidth != lineNumberArea.getWidth()) {
lineNumberArea.setPrefWidth(actualWidth); lineNumberArea.setPrefWidth(actualWidth);
} }

View File

@ -64,10 +64,9 @@ public class ViewManager {
private ViewManager(Scene scene) { private ViewManager(Scene scene) {
root = new BorderPane(); root = new BorderPane();
scene.setRoot(root); scene.setRoot(root);
} }
/** /**

View File

@ -6,3 +6,12 @@ jpackage `
--icon src/main/resources/img/icon.ico ` --icon src/main/resources/img/icon.ico `
--app-version 1.1.10 ` --app-version 1.1.10 `
--vendor "JCNC" --vendor "JCNC"
jpackage `
--name demo `
--type app-image `
-m com.example.demo/com.example.demo.Demo `
--runtime-image .\target\app\ `
--app-version 1.0.0 `
--vendor "JCNC"