##// END OF EJS Templates
One more KeyboardInterrupt catch
One more KeyboardInterrupt catch

File last commit:

r878:3f71fadf
r928:ed78530f
Show More
platutils_win32.py
53 lines | 1.5 KiB | text/x-python | PythonLexer
/ IPython / platutils_win32.py
vivainio
Added platutils modules, now only needed for %cd to ...
r107 # -*- coding: utf-8 -*-
""" Platform specific utility functions, win32 version
Importing this module directly is not portable - rather, import platutils
to use these functions in platform agnostic fashion.
$Id: ipstruct.py 1005 2006-01-12 08:39:26Z fperez $
"""
#*****************************************************************************
# Copyright (C) 2001-2006 Fernando Perez <fperez@colorado.edu>
#
# Distributed under the terms of the BSD License. The full license is in
# the file COPYING, distributed as part of this software.
#*****************************************************************************
from IPython import Release
__author__ = '%s <%s>' % Release.authors['Ville']
__license__ = Release.license
vivainio
set_term_title for win32
r628 import os
vivainio
Added platutils modules, now only needed for %cd to ...
r107
vivainio
set_term_title for win32
r628 ignore_termtitle = 0
jstenar
change platutils_win32.set_window_title to use ctypes as default. Fix bug when caling same...
r706
try:
vivainio
applied jorgens platutils patch to set_term_title wchar support
r878 import ctypes
SetConsoleTitleW=ctypes.windll.kernel32.SetConsoleTitleW
SetConsoleTitleW.argtypes=[ctypes.c_wchar_p]
jstenar
change platutils_win32.set_window_title to use ctypes as default. Fix bug when caling same...
r706 def _set_term_title(title):
""" Set terminal title using the ctypes"""
vivainio
applied jorgens platutils patch to set_term_title wchar support
r878 SetConsoleTitleW(title)
jstenar
change platutils_win32.set_window_title to use ctypes as default. Fix bug when caling same...
r706
except ImportError:
def _set_term_title(title):
""" Set terminal title using the 'title' command """
curr=os.getcwd()
os.chdir("C:") #Cannot be on network share when issuing system commands
ret = os.system("title " + title)
os.chdir(curr)
if ret:
ignore_termtitle = 1
vivainio
Added platutils modules, now only needed for %cd to ...
r107 def set_term_title(title):
vivainio
set_term_title for win32
r628 """ Set terminal title using the 'title' command """
global ignore_termtitle
jstenar
change platutils_win32.set_window_title to use ctypes as default. Fix bug when caling same...
r706
vivainio
dirname in term title now fails more gracefully
r662 if ignore_termtitle:
jstenar
change platutils_win32.set_window_title to use ctypes as default. Fix bug when caling same...
r706 return
_set_term_title(title)