##// END OF EJS Templates
set_term_title for win32
vivainio -
Show More
@@ -1,25 +1,36 b''
1 1 # -*- coding: utf-8 -*-
2 2 """ Platform specific utility functions, win32 version
3 3
4 4 Importing this module directly is not portable - rather, import platutils
5 5 to use these functions in platform agnostic fashion.
6 6
7 7 $Id: ipstruct.py 1005 2006-01-12 08:39:26Z fperez $
8 8
9 9 """
10 10
11 11
12 12 #*****************************************************************************
13 13 # Copyright (C) 2001-2006 Fernando Perez <fperez@colorado.edu>
14 14 #
15 15 # Distributed under the terms of the BSD License. The full license is in
16 16 # the file COPYING, distributed as part of this software.
17 17 #*****************************************************************************
18 18
19 19 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