upstream/ipython Files · IPython/html/services/config/manager.py

don't use fixed header...

don't use fixed header instead, use static header and flex box to accomplish the same thing. fixes various issues related to scrolling, anchors, etc.

Matthias Bussonnier - - Load All Authors

File last commit:

r19571:4aa90a90


                r20050:a5cb9bb0

Download file

             manager.py
        
                    14 lines
            
             | 434 B
            
                | text/x-python
            
             |
                PythonLexer
            
             / IPython / html / services / config / manager.py
          
                    History
                
                 |
                  Annotation
                 | Raw
                 |Copy content
                 |Copy permalink

      """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.

      import os

      from IPython.config.manager import BaseJSONConfigManager

      class ConfigManager(BaseJSONConfigManager):

          """Config Manager use for storin Javascript side config"""

          def _config_dir(self):

              return os.path.join(self.profile_dir, 'nbconfig')

	Site-wide shortcuts
/	Use quick search box
g h	Goto home page
g g	Goto my private gists page
g G	Goto my public gists page
g 0-9	Goto bookmarked items from 0-9
n r	New repository page
n g	New gist page

	Repositories
g s	Goto summary page
g c	Goto changelog page
g f	Goto files page
g F	Goto files page with file search activated
g p	Goto pull requests page
g o	Goto repository settings
g O	Goto repository access permissions settings
t s	Toggle sidebar on some pages

				"""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.

				import os

				from IPython.config.manager import BaseJSONConfigManager

				class ConfigManager(BaseJSONConfigManager):
				"""Config Manager use for storin Javascript side config"""

				def _config_dir(self):
				return os.path.join(self.profile_dir, 'nbconfig')