Publicize tabs information.

lordrio · Jan 28, 2015 · dbbe346 · dbbe346
1 parent f7fe479
commit dbbe346
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/src/haven/Tabs.java b/src/haven/Tabs.java
@@ -29,8 +29,8 @@
 import java.util.*;
 
 public class Tabs {
-    private Coord c, sz;
-    private Widget parent;
+    public Coord c, sz;
+    public Widget parent;
     public Tab curtab = null;
     public Collection<Tab> tabs = new LinkedList<Tab>();
 
@@ -83,6 +83,7 @@ public void showtab(Tab tab) {
     public void resize(Coord sz) {
 	for(Tab tab : tabs)
 	    tab.resize(sz);
+	this.sz = sz;
     }
 
     public Coord contentsz() {