summaryrefslogtreecommitdiff
path: root/src/cuchaz/enigma/gui/Gui.java
diff options
context:
space:
mode:
Diffstat (limited to 'src/cuchaz/enigma/gui/Gui.java')
-rw-r--r--src/cuchaz/enigma/gui/Gui.java5
1 files changed, 5 insertions, 0 deletions
diff --git a/src/cuchaz/enigma/gui/Gui.java b/src/cuchaz/enigma/gui/Gui.java
index a5471a7..cd0fac7 100644
--- a/src/cuchaz/enigma/gui/Gui.java
+++ b/src/cuchaz/enigma/gui/Gui.java
@@ -479,6 +479,7 @@ public class Gui
479 } 479 }
480 } ); 480 } );
481 m_tokens.setPreferredSize( new Dimension( 0, 200 ) ); 481 m_tokens.setPreferredSize( new Dimension( 0, 200 ) );
482 m_tokens.setMinimumSize( new Dimension( 0, 200 ) );
482 JSplitPane callPanel = new JSplitPane( JSplitPane.VERTICAL_SPLIT, true, new JScrollPane( m_callsTree ), new JScrollPane( m_tokens ) ); 483 JSplitPane callPanel = new JSplitPane( JSplitPane.VERTICAL_SPLIT, true, new JScrollPane( m_callsTree ), new JScrollPane( m_tokens ) );
483 callPanel.setResizeWeight( 1 ); // let the top side take all the slack 484 callPanel.setResizeWeight( 1 ); // let the top side take all the slack
484 callPanel.resetToPreferredSizes(); 485 callPanel.resetToPreferredSizes();
@@ -775,6 +776,10 @@ public class Gui
775 m_tokens.setListData( sortedTokens ); 776 m_tokens.setListData( sortedTokens );
776 m_tokens.setSelectedIndex( 0 ); 777 m_tokens.setSelectedIndex( 0 );
777 } 778 }
779 else
780 {
781 m_tokens.setListData( new Vector<Token>() );
782 }
778 783
779 // show the first token 784 // show the first token
780 showToken( sortedTokens.get( 0 ) ); 785 showToken( sortedTokens.get( 0 ) );