From: <ez...@us...> - 2013-12-10 07:21:51
|
Revision: 23383 http://sourceforge.net/p/jedit/svn/23383 Author: ezust Date: 2013-12-10 07:21:48 +0000 (Tue, 10 Dec 2013) Log Message: ----------- Added some more plugin tips. Modified Paths: -------------- jEdit/trunk/doc/users-guide/plugin-tips.xml Modified: jEdit/trunk/doc/users-guide/plugin-tips.xml =================================================================== --- jEdit/trunk/doc/users-guide/plugin-tips.xml 2013-12-09 18:58:37 UTC (rev 23382) +++ jEdit/trunk/doc/users-guide/plugin-tips.xml 2013-12-10 07:21:48 UTC (rev 23383) @@ -5,6 +5,26 @@ <!-- :tabSize=2:indentSize=2:noTabs=true: --> <!-- :xml.root=users-guide.xml: --> + <section id="platform-specific-code"> + <title> Paths, Urls, and Platform Specific Code </title> + + <para> If you need to check what the current running platform is, + see <classname>org.gjt.sp.jedit.OperatingSystem</classname>. </para> + + <para> If you need to compare file names and don't want to + worry about whether you are on a case-sensitive file system or not, + use <function>MiscUtilities.pathsEqual()</function>. See that + class for other useful path manipulation routines. </para> + + <para> There are other helpful classes in <package>org.gjt.sp.util</package>, + such as <classname>HtmlUtilities</classname>, <classname>StandardUtilities</classname>, + <classname>IOUtilities</classname>, and <classname>Log</classname>. + In particular, the <classname>Log</classname> class is recommended + for reporting errors and also logging debug information. + </para> + + </section> + <section id="plugin-tips-libraries"> <title>Bundling Additional Class Libraries</title> This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |