--- a/Documentation/Source/eric5.UI.UserInterface.html Mon Jul 09 18:54:06 2012 +0200 +++ b/Documentation/Source/eric5.UI.UserInterface.html Tue Jul 10 19:06:38 2012 +0200 @@ -656,6 +656,9 @@ <td><a href="#UserInterface.checkForErrorLog">checkForErrorLog</a></td> <td>Public method to check for the presence of an error log and ask the user, what to do with it.</td> </tr><tr> +<td><a href="#UserInterface.checkProjectsWorkspace">checkProjectsWorkspace</a></td> +<td>Public method to check, if a projects workspace has been configured.</td> +</tr><tr> <td><a href="#UserInterface.closeEvent">closeEvent</a></td> <td>Private event handler for the close event.</td> </tr><tr> @@ -1866,6 +1869,12 @@ <p> Public method to check for the presence of an error log and ask the user, what to do with it. +</p><a NAME="UserInterface.checkProjectsWorkspace" ID="UserInterface.checkProjectsWorkspace"></a> +<h4>UserInterface.checkProjectsWorkspace</h4> +<b>checkProjectsWorkspace</b>(<i></i>) +<p> + Public method to check, if a projects workspace has been configured. If + it has not, a dialog is shown. </p><a NAME="UserInterface.closeEvent" ID="UserInterface.closeEvent"></a> <h4>UserInterface.closeEvent</h4> <b>closeEvent</b>(<i>event</i>)