From b4cb677a936cfe4d4837b852f0e826bb7b31cdb5 Mon Sep 17 00:00:00 2001 From: Jonas Klamroth Date: Wed, 21 Feb 2024 17:06:48 +0100 Subject: [PATCH] added checkbox to disable example loader directly in dialog --- .../java/de/uka/ilkd/key/gui/ExampleChooser.java | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/key.ui/src/main/java/de/uka/ilkd/key/gui/ExampleChooser.java b/key.ui/src/main/java/de/uka/ilkd/key/gui/ExampleChooser.java index f4ee4884408..f5e40873058 100644 --- a/key.ui/src/main/java/de/uka/ilkd/key/gui/ExampleChooser.java +++ b/key.ui/src/main/java/de/uka/ilkd/key/gui/ExampleChooser.java @@ -21,6 +21,8 @@ import javax.swing.tree.TreeSelectionModel; import de.uka.ilkd.key.gui.utilities.GuiUtilities; +import de.uka.ilkd.key.settings.ProofIndependentSettings; +import de.uka.ilkd.key.settings.ViewSettings; import org.key_project.util.java.IOUtil; @@ -277,6 +279,15 @@ public void mouseClicked(MouseEvent e) { .setMaximumSize(new Dimension(Integer.MAX_VALUE, (int) buttonDim.getHeight() + 10)); getContentPane().add(buttonPanel); + // create the checkbox to hide example load on next startup + ViewSettings vs = ProofIndependentSettings.DEFAULT_INSTANCE.getViewSettings(); + JCheckBox showAgainCheckbox = + new JCheckBox("Show this dialog on startup", vs.getShowLoadExamplesDialog()); + buttonPanel.add(showAgainCheckbox); + showAgainCheckbox.addActionListener(e -> { + vs.setShowLoadExamplesDialog(showAgainCheckbox.isSelected()); + }); + // create "load" button loadButton = new JButton("Load Example"); loadButton.addActionListener(e -> { @@ -312,6 +323,7 @@ public void mouseClicked(MouseEvent e) { buttonPanel.add(cancelButton); GuiUtilities.attachClickOnEscListener(cancelButton); + // select first example DefaultMutableTreeNode firstLeaf = ((DefaultMutableTreeNode) model.getRoot()).getFirstLeaf();