##// END OF EJS Templates
freeze_term_title for platutils_posix
Ville M. Vainio -
Show More
@@ -23,12 +23,17 b' __license__ = Release.license'
23 import sys
23 import sys
24 import os
24 import os
25
25
26 ignore_termtitle = False
26
27
27 def _dummy_op(*a, **b):
28 def _dummy_op(*a, **b):
28 """ A no-op function """
29 """ A no-op function """
29
30
30 def _set_term_title_xterm(title):
31 def _set_term_title_xterm(title):
31 """ Change virtual terminal title in xterm-workalikes """
32 """ Change virtual terminal title in xterm-workalikes """
33
34 if ignore_termtitle:
35 return
36
32 sys.stdout.write('\033]%d;%s\007' % (0,title))
37 sys.stdout.write('\033]%d;%s\007' % (0,title))
33
38
34
39
@@ -37,5 +42,6 b" if os.environ.get('TERM','') == 'xterm':"
37 else:
42 else:
38 set_term_title = _dummy_op
43 set_term_title = _dummy_op
39
44
40 freeze_term_title = _dummy_op
45 def freeze_term_title():
41
46 global ignore_termtitle
47 ignore_termtitle = True
General Comments 0
You need to be logged in to leave comments. Login now