diff --git a/prism/src/userinterface/properties/GUIGraphHandler.java b/prism/src/userinterface/properties/GUIGraphHandler.java index 8aba4a0c..ef8484e0 100644 --- a/prism/src/userinterface/properties/GUIGraphHandler.java +++ b/prism/src/userinterface/properties/GUIGraphHandler.java @@ -714,15 +714,6 @@ public class GUIGraphHandler extends JPanel implements MouseListener g.clearRect(0,0,this.getWidth(),this.getHeight()); } - /*public void deleteAllGraphs() { - - while (!this.models.isEmpty()) { - Graph g = this.models.remove(this.models.size()-1); - this.theTabs.remove(g); - this.options.clear(); - } - }*/ - // don't implement these for tabs //public void mouseClicked(MouseEvent e) { } public void mouseEntered(MouseEvent e) { } diff --git a/prism/src/userinterface/properties/GUIMultiProperties.java b/prism/src/userinterface/properties/GUIMultiProperties.java index 834bcbb3..4f42db4f 100644 --- a/prism/src/userinterface/properties/GUIMultiProperties.java +++ b/prism/src/userinterface/properties/GUIMultiProperties.java @@ -54,13 +54,11 @@ import java.io.FileWriter; import java.io.IOException; import java.io.PrintWriter; import java.util.ArrayList; -import java.util.List; import javax.swing.AbstractAction; import javax.swing.Action; import javax.swing.JButton; import javax.swing.JFileChooser; -import javax.swing.JLabel; import javax.swing.JMenu; import javax.swing.JOptionPane; import javax.swing.JPanel; @@ -102,7 +100,6 @@ import userinterface.SimulationInformation; import userinterface.graph.Graph; import userinterface.graph.Graph.SeriesKey; import userinterface.model.GUIModelEvent; -import userinterface.model.GUIMultiModel; import userinterface.properties.computation.ExportResultsThread; import userinterface.properties.computation.LoadPropertiesThread; import userinterface.properties.computation.ModelCheckThread;