249 <td><a href="#PluginManager.isPluginLoaded">isPluginLoaded</a></td> |
249 <td><a href="#PluginManager.isPluginLoaded">isPluginLoaded</a></td> |
250 <td>Public method to check, if a certain plugin is loaded.</td> |
250 <td>Public method to check, if a certain plugin is loaded.</td> |
251 </tr> |
251 </tr> |
252 <tr> |
252 <tr> |
253 <td><a href="#PluginManager.isValidPluginName">isValidPluginName</a></td> |
253 <td><a href="#PluginManager.isValidPluginName">isValidPluginName</a></td> |
254 <td>Public methode to check, if a file name is a valid plugin name.</td> |
254 <td>Public method to check, if a file name is a valid plugin name.</td> |
255 </tr> |
255 </tr> |
256 <tr> |
256 <tr> |
257 <td><a href="#PluginManager.loadDocumentationSetPlugins">loadDocumentationSetPlugins</a></td> |
257 <td><a href="#PluginManager.loadDocumentationSetPlugins">loadDocumentationSetPlugins</a></td> |
258 <td>Public method to load just the documentation sets plugins.</td> |
258 <td>Public method to load just the documentation sets plugins.</td> |
259 </tr> |
259 </tr> |
1041 <a NAME="PluginManager.isValidPluginName" ID="PluginManager.isValidPluginName"></a> |
1041 <a NAME="PluginManager.isValidPluginName" ID="PluginManager.isValidPluginName"></a> |
1042 <h4>PluginManager.isValidPluginName</h4> |
1042 <h4>PluginManager.isValidPluginName</h4> |
1043 <b>isValidPluginName</b>(<i>pluginName</i>) |
1043 <b>isValidPluginName</b>(<i>pluginName</i>) |
1044 |
1044 |
1045 <p> |
1045 <p> |
1046 Public methode to check, if a file name is a valid plugin name. |
1046 Public method to check, if a file name is a valid plugin name. |
1047 </p> |
1047 </p> |
1048 <p> |
1048 <p> |
1049 Plugin modules must start with "Plugin" and have the extension ".py". |
1049 Plugin modules must start with "Plugin" and have the extension ".py". |
1050 </p> |
1050 </p> |
1051 <dl> |
1051 <dl> |