From dbbe34648f6cef4d6478ed187ec4d15c3bd2a81d Mon Sep 17 00:00:00 2001
From: Fredrik Tolf <fredrik@dolda2000.com>
Date: Wed, 28 Jan 2015 21:16:03 +0100
Subject: [PATCH] Publicize tabs information.

---
 src/haven/Tabs.java | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/haven/Tabs.java b/src/haven/Tabs.java
index ff5c86ca..74f11b79 100644
--- 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() {