diff -r 0174aece0923 -r 69482290dbdd Documentation/Source/eric6.ViewManager.ViewManager.html
--- a/Documentation/Source/eric6.ViewManager.ViewManager.html Mon Oct 23 19:41:35 2017 +0200
+++ b/Documentation/Source/eric6.ViewManager.ViewManager.html Mon Oct 23 19:42:17 2017 +0200
@@ -318,6 +318,9 @@
<td><a href="#ViewManager.__editShowCallTips">__editShowCallTips</a></td>
<td>Private method to handle the calltips action.</td>
</tr><tr>
+<td><a href="#ViewManager.__editShowCodeInfo">__editShowCodeInfo</a></td>
+<td>Private method to handle the code info action.</td>
+</tr><tr>
<td><a href="#ViewManager.__editSmartIndent">__editSmartIndent</a></td>
<td>Private method to handle the smart indent action.</td>
</tr><tr>
@@ -429,6 +432,9 @@
<td><a href="#ViewManager.__initViewActions">__initViewActions</a></td>
<td>Private method defining the user interface actions for the view commands.</td>
</tr><tr>
+<td><a href="#ViewManager.__isEditorInfoSupportedEd">__isEditorInfoSupportedEd</a></td>
+<td>Private method to check, if an editor is supported by the documentation viewer.</td>
+</tr><tr>
<td><a href="#ViewManager.__lastEditPositionAvailable">__lastEditPositionAvailable</a></td>
<td>Private slot to handle the lastEditPositionAvailable signal of an editor.</td>
</tr><tr>
@@ -825,6 +831,9 @@
<td><a href="#ViewManager.isConnected">isConnected</a></td>
<td>Public method to check the connection status of the IDE.</td>
</tr><tr>
+<td><a href="#ViewManager.isEditorInfoSupported">isEditorInfoSupported</a></td>
+<td>Public method to check, if a language is supported by the documentation viewer.</td>
+</tr><tr>
<td><a href="#ViewManager.mainWidget">mainWidget</a></td>
<td>Public method to return a reference to the main Widget of a specific view manager subclass.</td>
</tr><tr>
@@ -942,6 +951,9 @@
<td><a href="#ViewManager.showDebugSource">showDebugSource</a></td>
<td>Public method to open the given file and highlight the given line in it.</td>
</tr><tr>
+<td><a href="#ViewManager.showEditorInfo">showEditorInfo</a></td>
+<td>Public method to show some information for a given editor.</td>
+</tr><tr>
<td><a href="#ViewManager.showReplaceWidget">showReplaceWidget</a></td>
<td>Public method to show the replace widget.</td>
</tr><tr>
@@ -1200,6 +1212,11 @@
<b>__editShowCallTips</b>(<i></i>)
<p>
Private method to handle the calltips action.
+</p><a NAME="ViewManager.__editShowCodeInfo" ID="ViewManager.__editShowCodeInfo"></a>
+<h4>ViewManager.__editShowCodeInfo</h4>
+<b>__editShowCodeInfo</b>(<i></i>)
+<p>
+ Private method to handle the code info action.
</p><a NAME="ViewManager.__editSmartIndent" ID="ViewManager.__editSmartIndent"></a>
<h4>ViewManager.__editSmartIndent</h4>
<b>__editSmartIndent</b>(<i></i>)
@@ -1443,7 +1460,28 @@
<p>
Private method defining the user interface actions for the view
commands.
-</p><a NAME="ViewManager.__lastEditPositionAvailable" ID="ViewManager.__lastEditPositionAvailable"></a>
+</p><a NAME="ViewManager.__isEditorInfoSupportedEd" ID="ViewManager.__isEditorInfoSupportedEd"></a>
+<h4>ViewManager.__isEditorInfoSupportedEd</h4>
+<b>__isEditorInfoSupportedEd</b>(<i>editor</i>)
+<p>
+ Private method to check, if an editor is supported by the
+ documentation viewer.
+</p><dl>
+<dt><i>editor</i> (Editor)</dt>
+<dd>
+reference to the editor to check for
+</dd>
+</dl><dl>
+<dt>Returns:</dt>
+<dd>
+flag indicating the support status
+</dd>
+</dl><dl>
+<dt>Return Type:</dt>
+<dd>
+bool
+</dd>
+</dl><a NAME="ViewManager.__lastEditPositionAvailable" ID="ViewManager.__lastEditPositionAvailable"></a>
<h4>ViewManager.__lastEditPositionAvailable</h4>
<b>__lastEditPositionAvailable</b>(<i></i>)
<p>
@@ -2663,6 +2701,27 @@
<dd>
flag indicating the connection status (boolean)
</dd>
+</dl><a NAME="ViewManager.isEditorInfoSupported" ID="ViewManager.isEditorInfoSupported"></a>
+<h4>ViewManager.isEditorInfoSupported</h4>
+<b>isEditorInfoSupported</b>(<i>language</i>)
+<p>
+ Public method to check, if a language is supported by the
+ documentation viewer.
+</p><dl>
+<dt><i>language</i> (str)</dt>
+<dd>
+editor programming language to check
+</dd>
+</dl><dl>
+<dt>Returns:</dt>
+<dd>
+flag indicating the support status
+</dd>
+</dl><dl>
+<dt>Return Type:</dt>
+<dd>
+bool
+</dd>
</dl><a NAME="ViewManager.mainWidget" ID="ViewManager.mainWidget"></a>
<h4>ViewManager.mainWidget</h4>
<b>mainWidget</b>(<i></i>)
@@ -3096,6 +3155,16 @@
<dd>
line number to highlight (int)
</dd>
+</dl><a NAME="ViewManager.showEditorInfo" ID="ViewManager.showEditorInfo"></a>
+<h4>ViewManager.showEditorInfo</h4>
+<b>showEditorInfo</b>(<i>editor</i>)
+<p>
+ Public method to show some information for a given editor.
+</p><dl>
+<dt><i>editor</i> (Editor)</dt>
+<dd>
+editor to show information text for
+</dd>
</dl><a NAME="ViewManager.showReplaceWidget" ID="ViewManager.showReplaceWidget"></a>
<h4>ViewManager.showReplaceWidget</h4>
<b>showReplaceWidget</b>(<i></i>)
