added checkbox to disable example loader directly in dialog (KeYProje…

…ct#3424)
Drodt · Mar 1, 2024 · 573c82c · 573c82c
2 parents d637fd4 + b4cb677
commit 573c82c
Showing 1 changed file with 12 additions and 0 deletions.
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
@@ -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();