197 <td><a href="#PluginManager.isPluginLoaded">isPluginLoaded</a></td> |
197 <td><a href="#PluginManager.isPluginLoaded">isPluginLoaded</a></td> |
198 <td>Public method to check, if a certain plugin is loaded.</td> |
198 <td>Public method to check, if a certain plugin is loaded.</td> |
199 </tr><tr> |
199 </tr><tr> |
200 <td><a href="#PluginManager.isValidPluginName">isValidPluginName</a></td> |
200 <td><a href="#PluginManager.isValidPluginName">isValidPluginName</a></td> |
201 <td>Public methode to check, if a file name is a valid plugin name.</td> |
201 <td>Public methode to check, if a file name is a valid plugin name.</td> |
|
202 </tr><tr> |
|
203 <td><a href="#PluginManager.loadDocumentationSetPlugins">loadDocumentationSetPlugins</a></td> |
|
204 <td>Public method to load just the documentation sets plugins.</td> |
202 </tr><tr> |
205 </tr><tr> |
203 <td><a href="#PluginManager.loadPlugin">loadPlugin</a></td> |
206 <td><a href="#PluginManager.loadPlugin">loadPlugin</a></td> |
204 <td>Public method to load a plugin module.</td> |
207 <td>Public method to load a plugin module.</td> |
205 </tr><tr> |
208 </tr><tr> |
206 <td><a href="#PluginManager.preferencesChanged">preferencesChanged</a></td> |
209 <td><a href="#PluginManager.preferencesChanged">preferencesChanged</a></td> |
824 </dl><dl> |
827 </dl><dl> |
825 <dt>Returns:</dt> |
828 <dt>Returns:</dt> |
826 <dd> |
829 <dd> |
827 flag indicating a valid plugin name (boolean) |
830 flag indicating a valid plugin name (boolean) |
828 </dd> |
831 </dd> |
|
832 </dl><a NAME="PluginManager.loadDocumentationSetPlugins" ID="PluginManager.loadDocumentationSetPlugins"></a> |
|
833 <h4>PluginManager.loadDocumentationSetPlugins</h4> |
|
834 <b>loadDocumentationSetPlugins</b>(<i></i>) |
|
835 <p> |
|
836 Public method to load just the documentation sets plugins. |
|
837 </p><dl> |
|
838 <dt>Raises <b>PluginModulesError</b>:</dt> |
|
839 <dd> |
|
840 raised to indicate the absence of |
|
841 plug-in modules |
|
842 </dd> |
829 </dl><a NAME="PluginManager.loadPlugin" ID="PluginManager.loadPlugin"></a> |
843 </dl><a NAME="PluginManager.loadPlugin" ID="PluginManager.loadPlugin"></a> |
830 <h4>PluginManager.loadPlugin</h4> |
844 <h4>PluginManager.loadPlugin</h4> |
831 <b>loadPlugin</b>(<i>name, directory, reload_=False</i>) |
845 <b>loadPlugin</b>(<i>name, directory, reload_=False</i>) |
832 <p> |
846 <p> |
833 Public method to load a plugin module. |
847 Public method to load a plugin module. |