diff options
author | Matthias Schiffer <mschiffer@universe-factory.net> | 2011-06-11 04:16:58 +0200 |
---|---|---|
committer | Matthias Schiffer <mschiffer@universe-factory.net> | 2011-06-11 04:16:58 +0200 |
commit | 4fbbcb5e06443cd8a0a879034cd365ca70f6450b (patch) | |
tree | 6369a3d221fc880132cf6a986082ea27cbd22ce6 | |
parent | 014c4c357d4b70e2a04b2cf0044f432c23a26ded (diff) | |
download | JRummikub-4fbbcb5e06443cd8a0a879034cd365ca70f6450b.tar JRummikub-4fbbcb5e06443cd8a0a879034cd365ca70f6450b.zip |
Scrollable option tab in SettingsPanel
git-svn-id: svn://sunsvr01.isp.uni-luebeck.de/swproj13/trunk@415 72836036-5685-4462-b002-a69064685172
-rw-r--r-- | src/jrummikub/view/impl/SettingsPanel.java | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/jrummikub/view/impl/SettingsPanel.java b/src/jrummikub/view/impl/SettingsPanel.java index 9536838..a509e8b 100644 --- a/src/jrummikub/view/impl/SettingsPanel.java +++ b/src/jrummikub/view/impl/SettingsPanel.java @@ -463,7 +463,10 @@ class SettingsPanel extends JPanel implements ISettingsPanel { tabbedPane.addTab("Spieler", playerSetupPanel); createOptionsPanel(); - tabbedPane.addTab("Optionen", optionsPanel); + JScrollPane scrollPane = new JScrollPane(optionsPanel, + JScrollPane.VERTICAL_SCROLLBAR_AS_NEEDED, + JScrollPane.HORIZONTAL_SCROLLBAR_NEVER); + tabbedPane.addTab("Optionen", scrollPane); GridBagConstraints c = new GridBagConstraints(); c.fill = GridBagConstraints.BOTH; |