blob: 07759bc942aaa98ae2e0925374fddc0b00347105 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
"""
This plugin will set the title of your terminal to the name of the current tab.
"""
from plugin import BasePlugin
import sys
class Plugin(BasePlugin):
def init(self):
self.on_tab_change(0, self.core.current_tab_nb)
self.api.add_event_handler('tab_change', self.on_tab_change)
def cleanup(self):
"Re-set the terminal title to 'poezio'"
sys.stdout.write("\x1b]0;poezio\x07")
sys.stdout.flush()
def on_tab_change(self, old, new):
new_tab = self.core.get_tab_by_number(new)
sys.stdout.write("\x1b]0;{}\x07".format(new_tab.name))
sys.stdout.flush()
|
