From c8a135bcea44c507d54120327afd7d604ff561e1 Mon Sep 17 00:00:00 2001
From: Niclas Finne <nfi@sics.se>
Date: Fri, 18 May 2012 15:46:39 +0200
Subject: [PATCH] Added size methods

---
 se/sics/mspsim/ui/JFrameWindowManager.java | 8 ++++++++
 se/sics/mspsim/ui/ManagedWindow.java       | 2 ++
 2 files changed, 10 insertions(+)

diff --git a/se/sics/mspsim/ui/JFrameWindowManager.java b/se/sics/mspsim/ui/JFrameWindowManager.java
index 8da530e..39c1b1f 100644
--- a/se/sics/mspsim/ui/JFrameWindowManager.java
+++ b/se/sics/mspsim/ui/JFrameWindowManager.java
@@ -11,10 +11,18 @@ public class JFrameWindowManager implements WindowManager {
             private JFrame window = new JFrame(name);
             private boolean restored = false;
 
+            public void setSize(int width, int height) {
+                window.setSize(width, height);
+            }
+
             public void setBounds(int x, int y, int width, int height) {
                 window.setBounds(x, y, width, height);
             }
 
+            public void pack() {
+                window.pack();
+            }
+
             public void add(Component component) {
                 window.add(component);
                 if (!restored) {
diff --git a/se/sics/mspsim/ui/ManagedWindow.java b/se/sics/mspsim/ui/ManagedWindow.java
index 22c80b8..8b9de88 100644
--- a/se/sics/mspsim/ui/ManagedWindow.java
+++ b/se/sics/mspsim/ui/ManagedWindow.java
@@ -4,7 +4,9 @@ import java.awt.Component;
 
 public interface ManagedWindow {
 
+  public void setSize(int width, int height);
   public void setBounds(int x, int y, int width, int height);
+  public void pack();
 
   public void add(Component component);
   public void removeAll();