687 lines
25 KiB
Python
687 lines
25 KiB
Python
# Terminator by Chris Jones <cmsj@tenshu.net>
|
|
# GPL v2 only
|
|
"""notebook.py - classes for the notebook widget"""
|
|
|
|
from functools import cmp_to_key
|
|
from gi.repository import GObject
|
|
from gi.repository import Gtk
|
|
from gi.repository import Gdk
|
|
from gi.repository import Gio
|
|
|
|
from .terminator import Terminator
|
|
from .config import Config
|
|
from .factory import Factory
|
|
from .container import Container
|
|
from .editablelabel import EditableLabel
|
|
from .translation import _
|
|
from .util import err, dbg, enumerate_descendants, make_uuid
|
|
|
|
class Notebook(Container, Gtk.Notebook):
|
|
"""Class implementing a Gtk.Notebook container"""
|
|
window = None
|
|
last_active_term = None
|
|
pending_on_tab_switch = None
|
|
pending_on_tab_switch_args = None
|
|
|
|
def __init__(self, window):
|
|
"""Class initialiser"""
|
|
if isinstance(window.get_child(), Gtk.Notebook):
|
|
err('There is already a Notebook at the top of this window')
|
|
raise(ValueError)
|
|
|
|
Container.__init__(self)
|
|
GObject.GObject.__init__(self)
|
|
self.terminator = Terminator()
|
|
self.window = window
|
|
GObject.type_register(Notebook)
|
|
self.register_signals(Notebook)
|
|
self.connect('switch-page', self.deferred_on_tab_switch)
|
|
self.connect('scroll-event', self.on_scroll_event)
|
|
self.connect('create-window', self.create_window_detach)
|
|
self.configure()
|
|
|
|
self.set_can_focus(False)
|
|
|
|
child = window.get_child()
|
|
window.remove(child)
|
|
window.add(self)
|
|
window_last_active_term = window.last_active_term
|
|
self.newtab(widget=child)
|
|
if window_last_active_term:
|
|
self.set_last_active_term(window_last_active_term)
|
|
window.last_active_term = None
|
|
|
|
self.show_all()
|
|
|
|
def configure(self):
|
|
"""Apply widget-wide settings"""
|
|
# FIXME: The old reordered handler updated Terminator.terminals with
|
|
# the new order of terminals. We probably need to preserve this for
|
|
# navigation to next/prev terminals.
|
|
#self.connect('page-reordered', self.on_page_reordered)
|
|
self.set_scrollable(self.config['scroll_tabbar'])
|
|
|
|
if self.config['tab_position'] == 'hidden' or self.config['hide_tabbar']:
|
|
self.set_show_tabs(False)
|
|
else:
|
|
self.set_show_tabs(True)
|
|
pos = getattr(Gtk.PositionType, self.config['tab_position'].upper())
|
|
self.set_tab_pos(pos)
|
|
|
|
for tab in range(0, self.get_n_pages()):
|
|
label = self.get_tab_label(self.get_nth_page(tab))
|
|
label.update_angle()
|
|
|
|
# style = Gtk.RcStyle() # FIXME FOR GTK3 how to do it there? actually do we really want to override the theme?
|
|
# style.xthickness = 0
|
|
# style.ythickness = 0
|
|
# self.modify_style(style)
|
|
self.last_active_term = {}
|
|
|
|
def create_window_detach(self, notebook, widget, x, y):
|
|
"""Create a window to contain a detached tab"""
|
|
dbg('creating window for detached tab: %s' % widget)
|
|
maker = Factory()
|
|
|
|
window = maker.make('Window')
|
|
window.move(x, y)
|
|
size = self.window.get_size()
|
|
window.resize(size.width, size.height)
|
|
|
|
self.detach_tab(widget)
|
|
self.disconnect_child(widget)
|
|
self.hoover()
|
|
window.add(widget)
|
|
|
|
window.show_all()
|
|
|
|
def create_layout(self, layout):
|
|
"""Apply layout configuration"""
|
|
def child_compare(a, b):
|
|
order_a = int(children[a]['order'])
|
|
order_b = int(children[b]['order'])
|
|
|
|
if (order_a == order_b):
|
|
return 0
|
|
if (order_a < order_b):
|
|
return -1
|
|
if (order_a > order_b):
|
|
return 1
|
|
|
|
if 'children' not in layout:
|
|
err('layout specifies no children: %s' % layout)
|
|
return
|
|
|
|
children = layout['children']
|
|
if len(children) <= 1:
|
|
#Notebooks should have two or more children
|
|
err('incorrect number of children for Notebook: %s' % layout)
|
|
return
|
|
|
|
num = 0
|
|
keys = list(children.keys())
|
|
keys = sorted(keys, key=cmp_to_key(child_compare))
|
|
|
|
for child_key in keys:
|
|
child = children[child_key]
|
|
dbg('Making a child of type: %s' % child['type'])
|
|
if child['type'] == 'Terminal':
|
|
pass
|
|
elif child['type'] == 'VPaned':
|
|
page = self.get_nth_page(num)
|
|
self.split_axis(page, True)
|
|
elif child['type'] == 'HPaned':
|
|
page = self.get_nth_page(num)
|
|
self.split_axis(page, False)
|
|
num = num + 1
|
|
|
|
num = 0
|
|
for child_key in keys:
|
|
page = self.get_nth_page(num)
|
|
if not page:
|
|
# This page does not yet exist, so make it
|
|
self.newtab(children[child_key])
|
|
page = self.get_nth_page(num)
|
|
if 'labels' in layout:
|
|
labeltext = layout['labels'][num]
|
|
if labeltext and labeltext != "None":
|
|
label = self.get_tab_label(page)
|
|
label.set_custom_label(labeltext)
|
|
page.create_layout(children[child_key])
|
|
|
|
if layout.get('last_active_term', None):
|
|
self.last_active_term[page] = make_uuid(layout['last_active_term'][num])
|
|
num = num + 1
|
|
|
|
if 'active_page' in layout:
|
|
# Need to do it later, or layout changes result
|
|
GObject.idle_add(self.set_current_page, int(layout['active_page']))
|
|
else:
|
|
self.set_current_page(0)
|
|
|
|
def split_axis(self, widget, vertical=True, cwd=None, sibling=None, widgetfirst=True):
|
|
"""Split the axis of a terminal inside us"""
|
|
dbg('called for widget: %s' % widget)
|
|
order = None
|
|
page_num = self.page_num(widget)
|
|
if page_num == -1:
|
|
err('Notebook::split_axis: %s not found in Notebook' % widget)
|
|
return
|
|
|
|
label = self.get_tab_label(widget)
|
|
self.remove(widget)
|
|
|
|
maker = Factory()
|
|
if vertical:
|
|
container = maker.make('vpaned')
|
|
else:
|
|
container = maker.make('hpaned')
|
|
|
|
self.get_toplevel().set_pos_by_ratio = True
|
|
|
|
if not sibling:
|
|
sibling = maker.make('terminal')
|
|
sibling.set_cwd(cwd)
|
|
if self.config['always_split_with_profile']:
|
|
sibling.force_set_profile(None, widget.get_profile())
|
|
sibling.spawn_child()
|
|
if widget.group and self.config['split_to_group']:
|
|
sibling.set_group(None, widget.group)
|
|
elif self.config['always_split_with_profile']:
|
|
sibling.force_set_profile(None, widget.get_profile())
|
|
|
|
self.insert_page(container, None, page_num)
|
|
self.set_tab_detachable(container, self.config['detachable_tabs'])
|
|
self.child_set_property(container, 'tab-expand', True)
|
|
self.child_set_property(container, 'tab-fill', True)
|
|
self.set_tab_reorderable(container, True)
|
|
self.set_tab_label(container, label)
|
|
self.show_all()
|
|
|
|
order = [widget, sibling]
|
|
if widgetfirst is False:
|
|
order.reverse()
|
|
|
|
for terminal in order:
|
|
container.add(terminal)
|
|
self.set_current_page(page_num)
|
|
|
|
self.show_all()
|
|
|
|
while Gtk.events_pending():
|
|
Gtk.main_iteration_do(False)
|
|
self.get_toplevel().set_pos_by_ratio = False
|
|
|
|
GObject.idle_add(terminal.ensure_visible_and_focussed)
|
|
|
|
def add(self, widget, metadata=None):
|
|
"""Add a widget to the container"""
|
|
dbg('adding a new tab')
|
|
self.newtab(widget=widget, metadata=metadata)
|
|
|
|
def remove(self, widget):
|
|
"""Remove a widget from the container"""
|
|
page_num = self.page_num(widget)
|
|
if page_num == -1:
|
|
err('%s not found in Notebook. Actual parent is: %s' %
|
|
(widget, widget.get_parent()))
|
|
return(False)
|
|
self.remove_page(page_num)
|
|
self.disconnect_child(widget)
|
|
return(True)
|
|
|
|
def replace(self, oldwidget, newwidget):
|
|
"""Replace a tab's contents with a new widget"""
|
|
page_num = self.page_num(oldwidget)
|
|
self.remove(oldwidget)
|
|
self.add(newwidget)
|
|
self.reorder_child(newwidget, page_num)
|
|
|
|
def get_child_metadata(self, widget):
|
|
"""Fetch the relevant metadata for a widget which we'd need
|
|
to recreate it when it's re-added"""
|
|
metadata = {}
|
|
metadata['tabnum'] = self.page_num(widget)
|
|
label = self.get_tab_label(widget)
|
|
if not label:
|
|
dbg('unable to find label for widget: %s' % widget)
|
|
elif label.get_custom_label():
|
|
metadata['label'] = label.get_custom_label()
|
|
else:
|
|
dbg('don\'t grab the label as it was not customised')
|
|
return metadata
|
|
|
|
def get_children(self):
|
|
"""Return an ordered list of our children"""
|
|
children = []
|
|
for page in range(0,self.get_n_pages()):
|
|
children.append(self.get_nth_page(page))
|
|
return(children)
|
|
|
|
def newtab(self, debugtab=False, widget=None, cwd=None, metadata=None, profile=None):
|
|
"""Add a new tab, optionally supplying a child widget"""
|
|
dbg('making a new tab')
|
|
maker = Factory()
|
|
top_window = self.get_toplevel()
|
|
|
|
if not widget:
|
|
widget = maker.make('Terminal')
|
|
if cwd:
|
|
widget.set_cwd(cwd)
|
|
if profile and self.config['always_split_with_profile']:
|
|
widget.force_set_profile(None, profile)
|
|
widget.spawn_child(debugserver=debugtab)
|
|
elif profile and self.config['always_split_with_profile']:
|
|
widget.force_set_profile(None, profile)
|
|
|
|
signals = {'close-term': self.wrapcloseterm,
|
|
'split-auto': self.split_auto,
|
|
'split-horiz': self.split_horiz,
|
|
'split-vert': self.split_vert,
|
|
'title-change': self.propagate_title_change,
|
|
'tab-change': top_window.tab_change,
|
|
'group-all': top_window.group_all,
|
|
'group-all-toggle': top_window.group_all_toggle,
|
|
'ungroup-all': top_window.ungroup_all,
|
|
'group-win': top_window.group_win,
|
|
'group-win-toggle': top_window.group_win_toggle,
|
|
'ungroup-win': top_window.ungroup_win,
|
|
'group-tab': top_window.group_tab,
|
|
'group-tab-toggle': top_window.group_tab_toggle,
|
|
'ungroup-tab': top_window.ungroup_tab,
|
|
'move-tab': top_window.move_tab,
|
|
'tab-new': [top_window.tab_new, widget],
|
|
'navigate': top_window.navigate_terminal,
|
|
'zoom': top_window.zoom,
|
|
'maximise': [top_window.zoom, False]}
|
|
|
|
if maker.isinstance(widget, 'Terminal'):
|
|
for signal in signals:
|
|
args = []
|
|
handler = signals[signal]
|
|
if isinstance(handler, list):
|
|
args = handler[1:]
|
|
handler = handler[0]
|
|
self.connect_child(widget, signal, handler, *args)
|
|
|
|
if metadata and 'tabnum' in metadata:
|
|
tabpos = metadata['tabnum']
|
|
else:
|
|
tabpos = -1
|
|
|
|
label = TabLabel(self.window.get_title(), self)
|
|
if metadata and 'label' in metadata:
|
|
dbg('creating TabLabel with text: %s' % metadata['label'])
|
|
label.set_custom_label(metadata['label'])
|
|
label.connect('close-clicked', self.closetab)
|
|
|
|
label.show_all()
|
|
widget.show_all()
|
|
|
|
dbg('inserting page at position: %s' % tabpos)
|
|
self.insert_page(widget, None, tabpos)
|
|
self.set_tab_detachable(widget, self.config['detachable_tabs'])
|
|
|
|
if maker.isinstance(widget, 'Terminal'):
|
|
containers, objects = ([], [widget])
|
|
else:
|
|
containers, objects = enumerate_descendants(widget)
|
|
|
|
term_widget = None
|
|
for term_widget in objects:
|
|
if maker.isinstance(term_widget, 'Terminal'):
|
|
self.set_last_active_term(term_widget.uuid)
|
|
break
|
|
|
|
self.set_tab_label(widget, label)
|
|
self.child_set_property(widget, 'tab-expand', True)
|
|
self.child_set_property(widget, 'tab-fill', True)
|
|
|
|
self.set_tab_reorderable(widget, True)
|
|
self.set_current_page(tabpos)
|
|
self.show_all()
|
|
if maker.isinstance(term_widget, 'Terminal'):
|
|
widget.grab_focus()
|
|
|
|
def wrapcloseterm(self, widget):
|
|
"""A child terminal has closed"""
|
|
dbg('called on %s' % widget)
|
|
if self.closeterm(widget):
|
|
dbg('closeterm succeeded')
|
|
self.hoover()
|
|
else:
|
|
dbg('closeterm failed')
|
|
|
|
def closetab(self, widget, label):
|
|
"""Close a tab"""
|
|
tabnum = None
|
|
try:
|
|
nb = widget.notebook
|
|
except AttributeError:
|
|
err('TabLabel::closetab: called on non-Notebook: %s' % widget)
|
|
return
|
|
|
|
for i in range(0, nb.get_n_pages() + 1):
|
|
if label == nb.get_tab_label(nb.get_nth_page(i)):
|
|
tabnum = i
|
|
break
|
|
|
|
if tabnum is None:
|
|
err('TabLabel::closetab: %s not in %s. Bailing.' % (label, nb))
|
|
return
|
|
|
|
maker = Factory()
|
|
child = nb.get_nth_page(tabnum)
|
|
|
|
if maker.isinstance(child, 'Terminal'):
|
|
dbg('child is a single Terminal')
|
|
del nb.last_active_term[child]
|
|
child.close()
|
|
# FIXME: We only do this del and return here to avoid removing the
|
|
# page below, which child.close() implicitly does
|
|
del(label)
|
|
return
|
|
elif maker.isinstance(child, 'Container'):
|
|
dbg('child is a Container')
|
|
result = self.construct_confirm_close(self.window, _('tab'))
|
|
|
|
if result == Gtk.ResponseType.ACCEPT:
|
|
containers = None
|
|
objects = None
|
|
containers, objects = enumerate_descendants(child)
|
|
|
|
while len(objects) > 0:
|
|
descendant = objects.pop()
|
|
descendant.close()
|
|
while Gtk.events_pending():
|
|
Gtk.main_iteration()
|
|
return
|
|
else:
|
|
dbg('user cancelled request')
|
|
return
|
|
else:
|
|
err('Notebook::closetab: child is unknown type %s' % child)
|
|
return
|
|
|
|
def resizeterm(self, widget, keyname):
|
|
"""Handle a keyboard event requesting a terminal resize"""
|
|
raise NotImplementedError('resizeterm')
|
|
|
|
def zoom(self, widget, fontscale = False):
|
|
"""Zoom a terminal"""
|
|
raise NotImplementedError('zoom')
|
|
|
|
def unzoom(self, widget):
|
|
"""Unzoom a terminal"""
|
|
raise NotImplementedError('unzoom')
|
|
|
|
def find_tab_root(self, widget):
|
|
"""Look for the tab child which is or ultimately contains the supplied
|
|
widget"""
|
|
parent = widget.get_parent()
|
|
previous = parent
|
|
|
|
while parent is not None and parent is not self:
|
|
previous = parent
|
|
parent = parent.get_parent()
|
|
|
|
if previous == self:
|
|
return(widget)
|
|
else:
|
|
return(previous)
|
|
|
|
def update_tab_label_text(self, widget, text):
|
|
"""Update the text of a tab label"""
|
|
notebook = self.find_tab_root(widget)
|
|
label = self.get_tab_label(notebook)
|
|
if not label:
|
|
err('Notebook::update_tab_label_text: %s not found' % widget)
|
|
return
|
|
|
|
label.set_label(text)
|
|
|
|
def hoover(self):
|
|
"""Clean up any empty tabs and if we only have one tab left, die"""
|
|
numpages = self.get_n_pages()
|
|
while numpages > 0:
|
|
numpages = numpages - 1
|
|
page = self.get_nth_page(numpages)
|
|
if not page:
|
|
dbg('Removing empty page: %d' % numpages)
|
|
self.remove_page(numpages)
|
|
|
|
if self.get_n_pages() == 1:
|
|
dbg('Last page, removing self')
|
|
child = self.get_nth_page(0)
|
|
self.remove_page(0)
|
|
parent = self.get_parent()
|
|
parent.remove(self)
|
|
self.cnxids.remove_all()
|
|
parent.add(child)
|
|
del(self)
|
|
# Find the last terminal in the new parent and give it focus
|
|
terms = parent.get_visible_terminals()
|
|
list(terms.keys())[-1].grab_focus()
|
|
|
|
def page_num_descendant(self, widget):
|
|
"""Find the tabnum of the tab containing a widget at any level"""
|
|
tabnum = self.page_num(widget)
|
|
dbg("widget is direct child if not equal -1 - tabnum: %d" % tabnum)
|
|
while tabnum == -1 and widget.get_parent():
|
|
widget = widget.get_parent()
|
|
tabnum = self.page_num(widget)
|
|
dbg("found tabnum containing widget: %d" % tabnum)
|
|
return tabnum
|
|
|
|
def set_last_active_term(self, uuid):
|
|
"""Set the last active term for uuid"""
|
|
widget = self.terminator.find_terminal_by_uuid(uuid.urn)
|
|
if not widget:
|
|
err("Cannot find terminal with uuid: %s, so cannot make it active" % (uuid.urn))
|
|
return
|
|
tabnum = self.page_num_descendant(widget)
|
|
if tabnum == -1:
|
|
err("No tabnum found for terminal with uuid: %s" % (uuid.urn))
|
|
return
|
|
nth_page = self.get_nth_page(tabnum)
|
|
self.last_active_term[nth_page] = uuid
|
|
|
|
def clean_last_active_term(self):
|
|
"""Clean up old entries in last_active_term"""
|
|
if self.terminator.doing_layout == True:
|
|
return
|
|
last_active_term = {}
|
|
for tabnum in range(0, self.get_n_pages()):
|
|
nth_page = self.get_nth_page(tabnum)
|
|
if nth_page in self.last_active_term:
|
|
last_active_term[nth_page] = self.last_active_term[nth_page]
|
|
self.last_active_term = last_active_term
|
|
|
|
def deferred_on_tab_switch(self, notebook, page, page_num, data=None):
|
|
"""Prime a single idle tab switch signal, using the most recent set of params"""
|
|
tabs_last_active_term = self.last_active_term.get(self.get_nth_page(page_num), None)
|
|
data = {'tabs_last_active_term':tabs_last_active_term}
|
|
|
|
self.pending_on_tab_switch_args = (notebook, page, page_num, data)
|
|
if self.pending_on_tab_switch == True:
|
|
return
|
|
GObject.idle_add(self.do_deferred_on_tab_switch)
|
|
self.pending_on_tab_switch = True
|
|
|
|
def do_deferred_on_tab_switch(self):
|
|
"""Perform the latest tab switch signal, and resetting the pending flag"""
|
|
self.on_tab_switch(*self.pending_on_tab_switch_args)
|
|
self.pending_on_tab_switch = False
|
|
self.pending_on_tab_switch_args = None
|
|
|
|
def on_tab_switch(self, notebook, page, page_num, data=None):
|
|
"""Do the real work for a tab switch"""
|
|
tabs_last_active_term = data['tabs_last_active_term']
|
|
if tabs_last_active_term:
|
|
term = self.terminator.find_terminal_by_uuid(tabs_last_active_term.urn)
|
|
# if we can't find a last active term we must be starting up
|
|
if term is not None:
|
|
GObject.idle_add(term.ensure_visible_and_focussed)
|
|
return True
|
|
|
|
def on_scroll_event(self, notebook, event):
|
|
'''Handle scroll events for scrolling through tabs'''
|
|
#print "self: %s" % self
|
|
#print "event: %s" % event
|
|
child = self.get_nth_page(self.get_current_page())
|
|
if child == None:
|
|
print("Child = None, return false")
|
|
return False
|
|
|
|
event_widget = Gtk.get_event_widget(event)
|
|
|
|
if event_widget == None or \
|
|
event_widget == child or \
|
|
event_widget.is_ancestor(child):
|
|
print("event_widget is wrong one, return false")
|
|
return False
|
|
|
|
# Not sure if we need these. I don't think wehave any action widgets
|
|
# at this point.
|
|
action_widget = self.get_action_widget(Gtk.PackType.START)
|
|
if event_widget == action_widget or \
|
|
(action_widget != None and event_widget.is_ancestor(action_widget)):
|
|
return False
|
|
action_widget = self.get_action_widget(Gtk.PackType.END)
|
|
if event_widget == action_widget or \
|
|
(action_widget != None and event_widget.is_ancestor(action_widget)):
|
|
return False
|
|
|
|
if event.direction in [Gdk.ScrollDirection.RIGHT,
|
|
Gdk.ScrollDirection.DOWN]:
|
|
self.next_page()
|
|
elif event.direction in [Gdk.ScrollDirection.LEFT,
|
|
Gdk.ScrollDirection.UP]:
|
|
self.prev_page()
|
|
elif event.direction == Gdk.ScrollDirection.SMOOTH:
|
|
if self.get_tab_pos() in [Gtk.PositionType.LEFT,
|
|
Gtk.PositionType.RIGHT]:
|
|
if event.delta_y > 0:
|
|
self.next_page()
|
|
elif event.delta_y < 0:
|
|
self.prev_page()
|
|
elif self.get_tab_pos() in [Gtk.PositionType.TOP,
|
|
Gtk.PositionType.BOTTOM]:
|
|
if event.delta_x > 0:
|
|
self.next_page()
|
|
elif event.delta_x < 0:
|
|
self.prev_page()
|
|
return True
|
|
|
|
class TabLabel(Gtk.HBox):
|
|
"""Class implementing a label widget for Notebook tabs"""
|
|
notebook = None
|
|
terminator = None
|
|
config = None
|
|
label = None
|
|
icon = None
|
|
button = None
|
|
|
|
__gsignals__ = {
|
|
'close-clicked': (GObject.SignalFlags.RUN_LAST, None,
|
|
(GObject.TYPE_OBJECT,)),
|
|
}
|
|
|
|
def __init__(self, title, notebook):
|
|
"""Class initialiser"""
|
|
GObject.GObject.__init__(self)
|
|
|
|
self.notebook = notebook
|
|
self.terminator = Terminator()
|
|
self.config = Config()
|
|
|
|
self.connect("button-press-event", self.on_button_pressed)
|
|
|
|
self.label = EditableLabel(title)
|
|
self.update_angle()
|
|
|
|
self.pack_start(self.label, True, True, 0)
|
|
|
|
self.update_button()
|
|
self.show_all()
|
|
|
|
def set_label(self, text):
|
|
"""Update the text of our label"""
|
|
self.label.set_text(text)
|
|
|
|
def get_label(self):
|
|
return self.label.get_text()
|
|
|
|
def set_custom_label(self, text, force=False):
|
|
"""Set a permanent label as if the user had edited it"""
|
|
self.label.set_text(text, force=force)
|
|
self.label.set_custom()
|
|
|
|
def get_custom_label(self):
|
|
"""Return a custom label if we have one, otherwise None"""
|
|
if self.label.is_custom():
|
|
return(self.label.get_text())
|
|
else:
|
|
return(None)
|
|
|
|
def edit(self):
|
|
self.label.edit()
|
|
|
|
def update_button(self):
|
|
"""Update the state of our close button"""
|
|
if not self.config['close_button_on_tab']:
|
|
if self.button:
|
|
self.button.remove(self.icon)
|
|
self.remove(self.button)
|
|
del(self.button)
|
|
del(self.icon)
|
|
self.button = None
|
|
self.icon = None
|
|
return
|
|
|
|
if not self.button:
|
|
self.button = Gtk.Button()
|
|
if not self.icon:
|
|
self.icon = Gio.ThemedIcon.new_with_default_fallbacks("window-close-symbolic")
|
|
self.icon = Gtk.Image.new_from_gicon(self.icon, Gtk.IconSize.MENU)
|
|
|
|
self.button.set_focus_on_click(False)
|
|
self.button.set_relief(Gtk.ReliefStyle.NONE)
|
|
# style = Gtk.RcStyle() # FIXME FOR GTK3 how to do it there? actually do we really want to override the theme?
|
|
# style.xthickness = 0
|
|
# style.ythickness = 0
|
|
# self.button.modify_style(style)
|
|
self.button.add(self.icon)
|
|
self.button.connect('clicked', self.on_close)
|
|
self.button.set_name('terminator-tab-close-button')
|
|
if hasattr(self.button, 'set_tooltip_text'):
|
|
self.button.set_tooltip_text(_('Close Tab'))
|
|
self.pack_start(self.button, False, False, 0)
|
|
self.show_all()
|
|
|
|
def update_angle(self):
|
|
"""Update the angle of a label"""
|
|
position = self.notebook.get_tab_pos()
|
|
if position == Gtk.PositionType.LEFT:
|
|
if hasattr(self, 'set_orientation'):
|
|
self.set_orientation(Gtk.Orientation.VERTICAL)
|
|
self.label.set_angle(90)
|
|
elif position == Gtk.PositionType.RIGHT:
|
|
if hasattr(self, 'set_orientation'):
|
|
self.set_orientation(Gtk.Orientation.VERTICAL)
|
|
self.label.set_angle(270)
|
|
else:
|
|
if hasattr(self, 'set_orientation'):
|
|
self.set_orientation(Gtk.Orientation.HORIZONTAL)
|
|
self.label.set_angle(0)
|
|
|
|
def on_close(self, _widget):
|
|
"""The close button has been clicked. Destroy the tab"""
|
|
self.emit('close-clicked', self)
|
|
|
|
def on_button_pressed(self, _widget, event):
|
|
if event.button == 2:
|
|
self.on_close(_widget)
|
|
|
|
# vim: set expandtab ts=4 sw=4:
|