Flip the tab label widget group into a vertical orientation if the tab bar is on the left/right. Closes LP #553426

This commit is contained in:
Chris Jones 2010-04-01 23:07:55 +01:00
parent d6e011281e
commit fba64128e6
1 changed files with 2 additions and 0 deletions

View File

@ -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):