Commit 27b8b797 authored by thomas@cs.ru.nl's avatar thomas@cs.ru.nl

Some more space for the status pane

parent c9964a66
......@@ -304,7 +304,7 @@ public class SSMRunner extends JFrame
heapTable.setVisible(true);
heapTable.setPreferredScrollableViewportSize(new java.awt.Dimension(300, 600));
heapTable.setFont(null);
statusNOutputSplitPane.setDividerLocation(64);
statusNOutputSplitPane.setDividerLocation(100);
statusNOutputSplitPane.setDividerSize(6);
statusNOutputSplitPane.setOrientation(javax.swing.JSplitPane.VERTICAL_SPLIT);
statusNOutputSplitPane.setVisible(true);
......@@ -315,7 +315,6 @@ public class SSMRunner extends JFrame
statusScrollPane.setBorder(createTitledBorder("Status"));
statusTable.setVisible(true);
statusTable.setFont(null);
statusTable.setPreferredScrollableViewportSize(new java.awt.Dimension(1200, 40));
outputScrollPane.setVisible(true);
outputScrollPane.setFont(null);
outputScrollPane.setBorder(createTitledBorder("Output"));
......@@ -370,7 +369,7 @@ public class SSMRunner extends JFrame
getContentPane().add(ssmToolBar, "North");
getContentPane().add(memNRestSplitPane, "Center");
setSize(new java.awt.Dimension(1200, 720));
setSize(new java.awt.Dimension(1200, 800));
// event handling
tbNewButton.addActionListener(new java.awt.event.ActionListener() {
......
......@@ -155,7 +155,6 @@ public class StackTableModel extends AbstractTableModel
public void cellChanged( MemoryCellEvent e )
{
//fireTableDataChanged();
Object src = e.getSource() ;
int v ;
if ( src == memory )
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment