##// END OF EJS Templates
don't disable keyboard shortcuts on main toolbar...
don't disable keyboard shortcuts on main toolbar disable them on specific select elements

File last commit:

r20867:432981e3
r21012:848cc230
Show More
manager.py
21 lines | 679 B | text/x-python | PythonLexer
Thomas Kluyver
First stab at ConfigManager class
r19083 """Manager to read and modify frontend config data in JSON files.
"""
# Copyright (c) IPython Development Team.
# Distributed under the terms of the Modified BSD License.
Matthias Bussonnier
s/Json/JSON/g **/*.py
r19571 from IPython.config.manager import BaseJSONConfigManager
Min RK
more profile awareness from config.manager to IPython subclass...
r20867 from IPython.utils.path import locate_profile
from IPython.utils.traitlets import Unicode
Thomas Kluyver
First stab at ConfigManager class
r19083
Matthias Bussonnier
s/Json/JSON/g **/*.py
r19571 class ConfigManager(BaseJSONConfigManager):
Thomas Kluyver
Dump frontend config JSON with an indent...
r20495 """Config Manager used for storing notebook frontend config"""
Min RK
more profile awareness from config.manager to IPython subclass...
r20867
profile = Unicode('default', config=True)
profile_dir = Unicode(config=True)
def _profile_dir_default(self):
return locate_profile(self.profile)
Thomas Kluyver
First stab at ConfigManager class
r19083
Min RK
more profile awareness from config.manager to IPython subclass...
r20867 def _config_dir_default(self):
return self.profile_dir