From fd54ca4bbfff7955ebfe0aca95be39808b3e9208 Mon Sep 17 00:00:00 2001 From: NoahNussbaumer Date: Mon, 18 Mar 2024 21:24:59 +0100 Subject: [PATCH] fix crash when setting font size to 72 --- src/figtree/treeviewer/painters/LabelPainterController.java | 2 +- src/figtree/treeviewer/painters/ScaleBarPainterController.java | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/figtree/treeviewer/painters/LabelPainterController.java b/src/figtree/treeviewer/painters/LabelPainterController.java index 495de90..93e84c8 100755 --- a/src/figtree/treeviewer/painters/LabelPainterController.java +++ b/src/figtree/treeviewer/painters/LabelPainterController.java @@ -152,7 +152,7 @@ public void actionPerformed(ActionEvent e) { }); Font font = labelPainter.getFont(); - fontSizeSpinner = new JSpinner(new SpinnerNumberModel(font.getSize(), 0.01, 48, 1)); + fontSizeSpinner = new JSpinner(new SpinnerNumberModel(font.getSize(), 0.01, 72, 1)); fontSizeSpinner.addChangeListener(new ChangeListener() { public void stateChanged(ChangeEvent changeEvent) { diff --git a/src/figtree/treeviewer/painters/ScaleBarPainterController.java b/src/figtree/treeviewer/painters/ScaleBarPainterController.java index 2e44700..a0f2e91 100755 --- a/src/figtree/treeviewer/painters/ScaleBarPainterController.java +++ b/src/figtree/treeviewer/painters/ScaleBarPainterController.java @@ -108,7 +108,7 @@ public ScaleBarPainterController(final ScaleBarPainter scaleBarPainter, final Tr scaleRangeText.setEnabled(false); Font font = scaleBarPainter.getFont(); - fontSizeSpinner = new JSpinner(new SpinnerNumberModel(font.getSize(), 0.01, 48, 1)); + fontSizeSpinner = new JSpinner(new SpinnerNumberModel(font.getSize(), 0.01, 72, 1)); final JLabel label2 = optionsPanel.addComponentWithLabel("Font Size:", fontSizeSpinner);