##// END OF EJS Templates
Track and report compilation time if significant....
Track and report compilation time if significant. After a SAGE bug report: http://trac.sagemath.org/sage_trac/ticket/632.

File last commit:

r706:67aea54e
r874:56019d78
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:
from ctypes import windll
SetConsoleTitleA=windll.kernel32.SetConsoleTitleA
def _set_term_title(title):
""" Set terminal title using the ctypes"""
SetConsoleTitleA(str(title))
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)