Documentation/Source/eric5.Helpviewer.UserAgent.UserAgentManager.html

changeset 1626
a77c8ea8582c
parent 1621
85653d5d3bf9
child 1687
5efcb0cea376
--- a/Documentation/Source/eric5.Helpviewer.UserAgent.UserAgentManager.html	Thu Feb 16 19:01:32 2012 +0100
+++ b/Documentation/Source/eric5.Helpviewer.UserAgent.UserAgentManager.html	Fri Feb 17 19:39:37 2012 +0100
@@ -49,6 +49,9 @@
 <dt>changed()</dt>
 <dd>
 emitted to indicate a change
+</dd><dt>userAgentSettingsSaved()</dt>
+<dd>
+emitted after the user agent settings were saved
 </dd>
 </dl>
 <h3>Derived from</h3>
@@ -82,6 +85,9 @@
 <td><a href="#UserAgentManager.hostsCount">hostsCount</a></td>
 <td>Public method to get the number of available user agent settings.</td>
 </tr><tr>
+<td><a href="#UserAgentManager.reload">reload</a></td>
+<td>Public method to reload the user agent settings.</td>
+</tr><tr>
 <td><a href="#UserAgentManager.removeUserAgent">removeUserAgent</a></td>
 <td>Public method to remove a user agent entry.</td>
 </tr><tr>
@@ -155,7 +161,12 @@
 <dd>
 number of user agent settings (integer)
 </dd>
-</dl><a NAME="UserAgentManager.removeUserAgent" ID="UserAgentManager.removeUserAgent"></a>
+</dl><a NAME="UserAgentManager.reload" ID="UserAgentManager.reload"></a>
+<h4>UserAgentManager.reload</h4>
+<b>reload</b>(<i></i>)
+<p>
+        Public method to reload the user agent settings.
+</p><a NAME="UserAgentManager.removeUserAgent" ID="UserAgentManager.removeUserAgent"></a>
 <h4>UserAgentManager.removeUserAgent</h4>
 <b>removeUserAgent</b>(<i>host</i>)
 <p>

eric ide

mercurial