From 54383de1c300a96f48abc5cc8c8c572a472717af Mon Sep 17 00:00:00 2001 From: Mathias Sander Date: Mon, 21 Mar 2022 10:12:39 +0100 Subject: [PATCH] GUI style updates --- nb/PSSS/nbproject/project.properties | 4 ++-- plugins/PSSS.form | 5 +---- plugins/PSSS.java | 9 +++++++-- 3 files changed, 10 insertions(+), 8 deletions(-) diff --git a/nb/PSSS/nbproject/project.properties b/nb/PSSS/nbproject/project.properties index 83656ae..4cc27ca 100644 --- a/nb/PSSS/nbproject/project.properties +++ b/nb/PSSS/nbproject/project.properties @@ -35,13 +35,13 @@ dist.jlink.dir=${dist.dir}/jlink dist.jlink.output=${dist.jlink.dir}/PSSS endorsed.classpath= excludes= -file.reference.v1_17.jar=/opt/gfa/pshell/v1_17 +file.reference.latest.jar=/opt/gfa/pshell/latest file.reference.psss_panel-plugins=../../plugins file.reference.psss_panel-script=../../script includes=**/*.java jar.compress=false javac.classpath=\ - ${file.reference.v1_17.jar} + ${file.reference.latest.jar} # Space-separated list of extra javac options javac.compilerargs= javac.deprecation=false diff --git a/plugins/PSSS.form b/plugins/PSSS.form index 02af23e..9a05c3d 100755 --- a/plugins/PSSS.form +++ b/plugins/PSSS.form @@ -107,9 +107,6 @@ - - - @@ -210,7 +207,7 @@ - + diff --git a/plugins/PSSS.java b/plugins/PSSS.java index 02671ba..d0b3de9 100755 --- a/plugins/PSSS.java +++ b/plugins/PSSS.java @@ -10,6 +10,7 @@ import ch.psi.utils.State; import ch.psi.utils.Str; import java.awt.CardLayout; import java.awt.Color; +import java.awt.Font; import java.util.HashMap; import java.util.Map; import java.util.logging.Level; @@ -27,6 +28,7 @@ public class PSSS extends Panel { volatile boolean updatingPlot; volatile boolean updatingImage; final Color PLOT_BACKGROUND =Color.WHITE; + final Font TICK_LABEL_FONT = new Font("Arial", 0, 14); public PSSS() { initComponents(); @@ -37,6 +39,10 @@ public class PSSS extends Panel { history.setPlotBackgroundColor(PLOT_BACKGROUND); histogramGeneratorPanelCenter.getPlot().setPlotBackgroundColor(PLOT_BACKGROUND); histogramGeneratorFwhm.getPlot().setPlotBackgroundColor(PLOT_BACKGROUND); + plot.setTickLabelFont(TICK_LABEL_FONT); + history.setTickLabelFont(TICK_LABEL_FONT); + histogramGeneratorPanelCenter.getPlot().setTickLabelFont(TICK_LABEL_FONT); + histogramGeneratorFwhm.getPlot().setTickLabelFont(TICK_LABEL_FONT); } //Overridable callbacks @@ -216,7 +222,6 @@ public class PSSS extends Panel { history.setDurationMillis(1800000); history.setFocusable(false); - history.setTickLabelFont(new java.awt.Font("SansSerif", 0, 14)); // NOI18N jLabel1.setText("Average:"); @@ -606,7 +611,7 @@ public class PSSS extends Panel { .addComponent(radioCrystalScan) .addComponent(radioCameraScan) .addComponent(radioEnergyScan) - .addComponent(btAbort, javax.swing.GroupLayout.DEFAULT_SIZE, 213, Short.MAX_VALUE)) + .addComponent(btAbort, javax.swing.GroupLayout.DEFAULT_SIZE, 218, Short.MAX_VALUE)) .addContainerGap()) ); jPanel2Layout.setVerticalGroup(