cosmetic cleaning for macosx java 1.3 to remove ugly white borders

This commit is contained in:
benfry
2003-09-03 03:55:50 +00:00
parent a289e915db
commit 2e6e4417ba
3 changed files with 12 additions and 6 deletions

View File

@@ -147,6 +147,7 @@ public class PdeEditor extends JPanel {
// assemble console panel, consisting of status area and the console itself
consolePanel = new JPanel();
//System.out.println(consolePanel.getInsets());
consolePanel.setLayout(new BorderLayout());
status = new PdeEditorStatus(this);
@@ -163,6 +164,12 @@ public class PdeEditor extends JPanel {
// if window increases in size, give all of increase to textarea (top pane)
splitPane.setResizeWeight(1D);
// to fix ugliness.. normally macosx java 1.3 puts an
// ugly white border around this object, so turn it off.
if (PdeBase.platform == PdeBase.MACOSX) {
splitPane.setBorder(null);
}
// the default size on windows is too small and kinda ugly
int dividerSize = PdeBase.getInteger("editor.divider.size", 0);
if (dividerSize != 0) {