Change control panel title to "Settings" (as otherwise it can fail to fit!)

diff --git a/src/net/chiark/yarrg/ControlPanel.java b/src/net/chiark/yarrg/ControlPanel.java
index 14bc5aecad72f74c1f2cda46c2fd83ac94c40a3e..bbe1c929b18ef2521fcb453d949267ed42aeb15c 100644 (file)
--- a/src/net/chiark/yarrg/ControlPanel.java
+++ b/src/net/chiark/yarrg/ControlPanel.java
@@ -15,7 +15,7 @@ public class ControlPanel extends JFrame {
        }
        
        public ControlPanel() {
-               super("Jarrg Control Panel");
+               super("Jarrg Settings");
                final Preferences prefs = Preferences.userNodeForPackage(getClass());
                final JCheckBox toPCTB = new JCheckBox("Upload to PCTB?", prefs.getBoolean("uploadToPCTB", true));
                final JCheckBox toYarrg = new JCheckBox("Upload to Yarrg?", prefs.getBoolean("uploadToYarrg", true));