diff options
Diffstat (limited to 'sources/simulator/VSSimulation.java')
| -rw-r--r-- | sources/simulator/VSSimulation.java | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/sources/simulator/VSSimulation.java b/sources/simulator/VSSimulation.java index 5ca422a..7701349 100644 --- a/sources/simulator/VSSimulation.java +++ b/sources/simulator/VSSimulation.java @@ -23,13 +23,12 @@ public class VSSimulation extends JPanel { private ArrayList<VSCreateTask> createTasks; private JCheckBox filterActiveCheckBox; private JCheckBox lamportActiveCheckBox; - private JTextArea loggingArea; private JCheckBox vectorTimeActiveCheckBox; private JComboBox globalPIDComboBox; private JComboBox localPIDComboBox; private JComboBox processesComboBox; - private JPanel localAddPanel; private JPanel globalAddPanel; + private JPanel localAddPanel; private JPanel localPanel; private JPanel loggingPanel; private JPanel toolsPanel; @@ -37,6 +36,7 @@ public class VSSimulation extends JPanel { private JSplitPane splitPaneH; private JSplitPane splitPaneV; private JTabbedPane tabbedPane; + private JTextArea loggingArea; private JTextField filterTextField; private JTextField globalTextField; private JTextField localTextField; @@ -158,10 +158,9 @@ public class VSSimulation extends JPanel { splitPaneV.setOrientation(JSplitPane.VERTICAL_SPLIT); splitPaneV.setTopComponent(splitPaneH); splitPaneV.setBottomComponent(loggingPanel); - //splitPaneV.setOneTouchExpandable(true); splitPaneV.setContinuousLayout(true); - this.add(splitPaneV, BorderLayout.CENTER); + this.add(splitPaneV); } private boolean lastExpertState; |