##// END OF EJS Templates
Add new commands refresh and refresh_timer (mapped to "R"/"F5"...
Add new commands refresh and refresh_timer (mapped to "R"/"F5" and to the menu) which restarts the iterator once (refresh) or after every x seconds (refresh_timer). Add a working implementation of "searchexpression", where the text entered is not the text to search for, but an expression that must be true. Added display of shortcuts to the menu. Added commands "pickinput" and "pickinputattr" that put the object or attribute under the cursor in the input line. Split the statusbar to be able to display the currently active refresh interval. (Patch by Nik Tautenhahn)

File last commit:

r706:67aea54e
r708:c2a1e430
Show More
platutils_win32.py
53 lines | 1.5 KiB | text/x-python | PythonLexer
# -*- 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
import os
ignore_termtitle = 0
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
def set_term_title(title):
""" Set terminal title using the 'title' command """
global ignore_termtitle
if ignore_termtitle:
return
_set_term_title(title)