##// END OF EJS Templates
set_term_title for win32
vivainio -
Show More
@@ -20,6 +20,17 b' from IPython import Release'
20 20 __author__ = '%s <%s>' % Release.authors['Ville']
21 21 __license__ = Release.license
22 22
23 import os
23 24
25 ignore_termtitle = 0
24 26 def set_term_title(title):
25 """ TBD """
27 """ Set terminal title using the 'title' command """
28
29 global ignore_termtitle
30
31 if not ignore_termtitle:
32 ret = os.system("title " + title)
33 if ret:
34 ignore = 1
35
36
General Comments 0
You need to be logged in to leave comments. Login now