
    ^h                     .    S r SSKJr  Sr " S S\5      rg)zExtension config.    )ConfigManagerjupyter_server_configc                   >    \ rS rSrSr\4S jr\S4S jrS rS r	Sr
g	)
ExtensionConfigManager   zA manager class to interface with Jupyter Server Extension config
found in a `config.d` folder. It is assumed that all configuration
files in this directory are JSON files.
c                 h    U R                  U5      nUR                  S0 5      R                  S0 5      $ )zAReturn the jpserver_extensions field from all
config files found.	ServerAppjpserver_extensions)get)selfsection_namedatas      Y/home/james-whalen/.local/lib/python3.13/site-packages/jupyter_server/extension/config.pyget_jpserver_extensions.ExtensionConfigManager.get_jpserver_extensions   s1     xx%xxR(,,-BBGG    Tc                 N    U R                  U5      n XA   $ ! [         a     gf = f)zIs the extension enabled?F)r   KeyError)r   namer   include_root
extensionss        r   enabledExtensionConfigManager.enabled   s2    11,?
	## 		s    
$$c                 6    SSUS000nU R                  X5        g)zEnable an extension by name.r	   r
   TNupdater   r   r   s      r   enableExtensionConfigManager.enable   s"    3dD\BCDr   c                 6    SSUS000nU R                  X5        g)zDisable an extension by name.r	   r
   FNr   r   s      r   disableExtensionConfigManager.disable!   s"    3dE]CDDr    N)__name__
__module____qualname____firstlineno____doc__DEFAULT_SECTION_NAMEr   r   r   r!   __static_attributes__r#   r   r   r   r      s)    
 4H H *>D  
 r   r   N)r(   &jupyter_server.services.config.managerr   r)   r   r#   r   r   <module>r,      s     @.  ]  r   