From: <ez...@us...> - 2014-12-13 21:51:06
|
Revision: 23768 http://sourceforge.net/p/jedit/svn/23768 Author: ezust Date: 2014-12-13 21:50:59 +0000 (Sat, 13 Dec 2014) Log Message: ----------- Docs. Modified Paths: -------------- plugins/InfoViewer/trunk/build.xml plugins/InfoViewer/trunk/index.html Modified: plugins/InfoViewer/trunk/build.xml =================================================================== --- plugins/InfoViewer/trunk/build.xml 2014-12-13 13:44:14 UTC (rev 23767) +++ plugins/InfoViewer/trunk/build.xml 2014-12-13 21:50:59 UTC (rev 23768) @@ -8,6 +8,8 @@ <project name="InfoViewer" default="dist" basedir="."> + + <property file="../build.properties" /> <property file="build.properties" /> <property name="jar.name" value="${ant.project.name}.jar"/> Modified: plugins/InfoViewer/trunk/index.html =================================================================== --- plugins/InfoViewer/trunk/index.html 2014-12-13 13:44:14 UTC (rev 23767) +++ plugins/InfoViewer/trunk/index.html 2014-12-13 21:50:59 UTC (rev 23768) @@ -43,10 +43,10 @@ <p>With the <b>InfoViewer Plugin</b> you can choose the preferred browser, that jEdit and assorted plugins use to display HTML documentation.</p> -<p>The InfoViewer can also replace the built-in jedit help viewer - +<p>The InfoViewer can also replace the built-in jEdit Help Viewer - by checking the checkbox in InfoViewer's options. </p> - -<p> You can use an external browser like Firefox or IE, but the InfoViewer Plugin + +<p> You can use an external browser like Firefox or Chrome, but the InfoViewer Plugin also contains a lightweight mini web-browser named <b>InfoViewer</b>, written in Java, utilizing builtin Swing capabilities.</p> @@ -80,8 +80,8 @@ <h3>Um... JavaScript? </h3> <p> The built-in Swing web mini-browser, used by InfoViewer as well as the built-in -HelpViewer, is circa 2003, and is for stright HTML only. Use an external browser if -you need current things like HTML4 and JavaScript. </p> +HelpViewer, is circa 2003, and is for stright HTML3 only. Use an external browser if +you need current things like HTML5 and JavaScript. </p> <h3>How can I change the display size of the font? </h3> @@ -89,8 +89,8 @@ See <b>Utilities - Global Options - Appearance</b>, and select "HelpViewer/Browser font". </p> <h3>How can I configure the external browser?</h3> -<p> -See <b>Utilities>Global Options>Plugin Options>InfoViewer>Choose Browser</b>. +<p> +See <b>Plugin Options>InfoViewer>Choose Browser</b>. There is an option for "External browser". Enter any command in the field "External browser command".</p> @@ -127,7 +127,7 @@ <hr width="100%" size="1"> <p><font size="-2"> Copyright (c) 1999-2005 Dirk Möbius -(<a href="mailto:dmo...@gm...">dmo...@gm...</a>) +(<a href="mailto:dmo...@gm...">dmo...@gm...</a>) </font> </p> This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |