##// END OF EJS Templates
Do not force a reload of user config by default....
Do not force a reload of user config by default. Forcing this kind of reload can cause side effects. Also added some notes for future fixing, the way configs are being loaded is a mess right now. Though most of this will get cleaned up in the refactoring anyway.

File last commit:

r1875:bba7e571
r1967:8e7f0d52
Show More
platutils_dummy.py
25 lines | 811 B | text/x-python | PythonLexer
# -*- coding: utf-8 -*-
""" Platform specific utility functions, dummy version
This has empty implementation of the platutils functions, used for
unsupported operating systems.
Authors
-------
- Ville Vainio <vivainio@gmail.com>
"""
#*****************************************************************************
# Copyright (C) 2008-2009 The IPython Development Team
# Copyright (C) 2001-2007 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.
#*****************************************************************************
# This variable is part of the expected API of the module:
ignore_termtitle = True
def set_term_title(*args,**kw):
"""Dummy no-op."""
pass