diff -r de9106c55c3d -r 856476537696 src/eric7/Documentation/Source/eric7.PluginManager.PluginUtilities.html
--- a/src/eric7/Documentation/Source/eric7.PluginManager.PluginUtilities.html Thu Jan 04 17:16:15 2024 +0100
+++ b/src/eric7/Documentation/Source/eric7.PluginManager.PluginUtilities.html Thu Jan 04 18:02:25 2024 +0100
@@ -7,24 +7,22 @@
<body>
<a NAME="top" ID="top"></a>
<h1>eric7.PluginManager.PluginUtilities</h1>
-
<p>
Module implementing common utility functions needed for plugin management.
</p>
+
<h3>Global Attributes</h3>
-
<table>
<tr><td>None</td></tr>
</table>
+
<h3>Classes</h3>
-
<table>
<tr><td>None</td></tr>
</table>
+
<h3>Functions</h3>
-
<table>
-
<tr>
<td><a href="#getPluginHeaderEntry">getPluginHeaderEntry</a></td>
<td>Function to get an entry of the plugin header.</td>
@@ -34,15 +32,16 @@
<td>Function to check, if the plugin header contains the given entry.</td>
</tr>
</table>
+
<hr />
<hr />
<a NAME="getPluginHeaderEntry" ID="getPluginHeaderEntry"></a>
<h2>getPluginHeaderEntry</h2>
<b>getPluginHeaderEntry</b>(<i>plugin, entry, default</i>)
-
<p>
Function to get an entry of the plugin header.
</p>
+
<dl>
<dt><i>plugin</i> (module)</dt>
@@ -76,10 +75,10 @@
<a NAME="hasPluginHeaderEntry" ID="hasPluginHeaderEntry"></a>
<h2>hasPluginHeaderEntry</h2>
<b>hasPluginHeaderEntry</b>(<i>plugin, entry</i>)
-
<p>
Function to check, if the plugin header contains the given entry.
</p>
+
<dl>
<dt><i>plugin</i> (module)</dt>
@@ -105,4 +104,4 @@
</dl>
<div align="right"><a href="#top">Up</a></div>
<hr />
-</body></html>
\ No newline at end of file
+</body></html>
