From 15450c42d04e15322a6328037011e3726427e9a4 Mon Sep 17 00:00:00 2001 From: Paul Buetow Date: Sat, 17 May 2008 23:27:55 +0000 Subject: Editor window's size has changed. --- sources/prefs/VSDefaultPrefs.java | 4 ++-- sources/prefs/editors/VSEditor.java | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/sources/prefs/VSDefaultPrefs.java b/sources/prefs/VSDefaultPrefs.java index 0534dd2..a41c659 100644 --- a/sources/prefs/VSDefaultPrefs.java +++ b/sources/prefs/VSDefaultPrefs.java @@ -143,8 +143,8 @@ public class VSDefaultPrefs extends VSPrefs { initInteger("keyevent.start", KeyEvent.VK_S, null, 0, 100); initInteger("keyevent.stop", KeyEvent.VK_P, null, 0, 100); - initIntegerUnit("window.prefs.xsize", 400, "X-Grösse des Einstellungsfensters", 550, 3200, "px"); - initIntegerUnit("window.prefs.ysize", 650, "Y-Grösse des Einstellungsfensters", 640, 2400, "px"); + initIntegerUnit("window.prefs.xsize", 350, "X-Grösse des Einstellungsfensters", 550, 3200, "px"); + initIntegerUnit("window.prefs.ysize", 600, "Y-Grösse des Einstellungsfensters", 640, 2400, "px"); initIntegerUnit("window.loggsize", 300, "Y-Grösse des Loggingfensters", 100, 1000, "px"); initIntegerUnit("window.splitsize", 180, null, 100, 1000, "px"); initIntegerUnit("window.xsize", 1024, "X-Grösse des Hauptfensters", 800, 3200, "px"); diff --git a/sources/prefs/editors/VSEditor.java b/sources/prefs/editors/VSEditor.java index df77433..1a5d664 100644 --- a/sources/prefs/editors/VSEditor.java +++ b/sources/prefs/editors/VSEditor.java @@ -145,8 +145,8 @@ abstract class VSEditor implements ActionListener { editPanelConstraints = new GridBagConstraints(); editPanelConstraints.fill = GridBagConstraints.HORIZONTAL; - editPanelConstraints.ipady = 20; - editPanelConstraints.ipadx = 20; + editPanelConstraints.ipady = 15; + editPanelConstraints.ipadx = 15; editPanelRow = 0; addToEditPanelFront(editPanel); -- cgit v1.2.3