diff options
Diffstat (limited to 'src/cuchaz/enigma/gui/Gui.java')
| -rw-r--r-- | src/cuchaz/enigma/gui/Gui.java | 5 |
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 ) ); |