From 121085cea738e77b9979015611492eea26368b22 Mon Sep 17 00:00:00 2001
From: mdb <mdb@6335cc39-0255-0410-8fd6-9bcaacd3b74c>
Date: Tue, 14 Aug 2001 00:04:08 +0000
Subject: [PATCH] Stick our viz panel in a panel with a border around it so
 that it's not pressed up against the edge of the window.

git-svn-id: https://samskivert.googlecode.com/svn/trunk@259 6335cc39-0255-0410-8fd6-9bcaacd3b74c
---
 .../src/java/com/samskivert/viztool/VizFrame.java  | 14 ++++++++++++--
 1 file changed, 12 insertions(+), 2 deletions(-)

diff --git a/projects/viztool/src/java/com/samskivert/viztool/VizFrame.java b/projects/viztool/src/java/com/samskivert/viztool/VizFrame.java
index 7efbe514..bb292a43 100644
--- a/projects/viztool/src/java/com/samskivert/viztool/VizFrame.java
+++ b/projects/viztool/src/java/com/samskivert/viztool/VizFrame.java
@@ -1,5 +1,5 @@
 //
-// $Id: VizFrame.java,v 1.3 2001/08/12 04:36:57 mdb Exp $
+// $Id: VizFrame.java,v 1.4 2001/08/14 00:04:08 mdb Exp $
 // 
 // viztool - a tool for visualizing collections of java classes
 // Copyright (C) 2001 Michael Bayne
@@ -37,7 +37,17 @@ public class VizFrame extends JFrame
         // quit if we're closed
         setDefaultCloseOperation(EXIT_ON_CLOSE);
 
+        JPanel content = new JPanel();
+
+        // put a border around everything
+        content.setBorder(BorderFactory.createEmptyBorder(
+            BORDER, BORDER, BORDER, BORDER));
+
         VizPanel panel = new VizPanel(viz);
-        getContentPane().add(panel, BorderLayout.CENTER);
+        content.add(panel, BorderLayout.CENTER);
+
+        setContentPane(content);
     }
+
+    protected static final int BORDER = 5; // pixels
 }