From fba64128e62e85298e8e7e890189662151bf04ae Mon Sep 17 00:00:00 2001
From: Chris Jones <cmsj@tenshu.net>
Date: Thu, 1 Apr 2010 23:07:55 +0100
Subject: [PATCH] Flip the tab label widget group into a vertical orientation
 if the tab bar is on the left/right. Closes LP #553426

---
 terminatorlib/notebook.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/terminatorlib/notebook.py b/terminatorlib/notebook.py
index ef3821bd..724dc04b 100755
--- a/terminatorlib/notebook.py
+++ b/terminatorlib/notebook.py
@@ -373,10 +373,12 @@ class TabLabel(gtk.HBox):
         """Update the angle of a label"""
         position = self.notebook.get_tab_pos()
         if position == gtk.POS_LEFT:
+            self.set_orientation(gtk.ORIENTATION_VERTICAL)
             self.label.set_angle(90)
         elif position == gtk.POS_RIGHT:
             self.label.set_angle(270)
         else:
+            self.set_orientation(gtk.ORIENTATION_HORIZONTAL)
             self.label.set_angle(0)
 
     def on_style_set(self, widget, prevstyle):