jEdit Community home jEdit Community Wiki > Plugins > ConfigurableFoldHandler (r1.1 vs. r1.2) jEdit Community Wiki webs:
Main | Plugins | Know | TWiki | Sandbox
Plugins . { Changes | Index | Search | Go }
 <<O>>  Difference Topic ConfigurableFoldHandler (r1.2 - 09 Feb 2004 - Brad Mace)
Added:
>
>

%META:FIELD{name="PluginStatus" title="PluginStatus" value="Stable"}%

Added:
>
>

%META:FIELD{name="SourceForgeAccount" title="SourceForgeAccount" value=""}%

Added:
>
>

%META:FIELD{name="Compatibility" title="Compatibility" value="WorksWith42, Supports Dynamic Loading?"}%


 <<O>>  Difference Topic ConfigurableFoldHandler (r1.1 - 16 Aug 2003 - Brad Mace)
Added:
>
>

%META:TOPICINFO{author="BradMace" date="1061014743" format="1.0" version="1.1"}% %META:TOPICPARENT{name="WebHome"}%

Configurable Fold Handler

The Configurable Fold Handler plugin adds a new fold handler to jEdit that allows the user to specify the strings that define the start and end of a fold. Different fold strings can be defined for each edit mode and each open buffer.

%META:FORM{name="PluginPageForm"}% %META:FIELD{name="PluginName" title="PluginName" value="Configurable Fold Handler"}% %META:FIELD{name="Category" title="Category" value="Text"}% %META:FIELD{name="Maintainer" title="Maintainer" value="ChrisKent"}% %META:FIELD{name="LatestVersion" title="LatestVersion" value="0.4"}% %META:FIELD{name="Released" title="Released" value="July 12, 2003"}% %META:FIELD{name="WhereToDownload" title="WhereToDownload" value="http://plugins.jedit.org/plugins/?ConfigurableFoldHandler"}% %META:FIELD{name="Description" title="Description" value="The Configurable Fold Handler plugin adds a new fold handler to jEdit that allows the user to specify the strings that define the start and end of a fold. Different fold strings can be defined for each edit mode and each open buffer."}%


Topic ConfigurableFoldHandler . { View | Diffs | r1.2 | > | r1.1 | More }
Revision r1.1 - 16 Aug 2003 - 06:19 GMT - Brad Mace
Revision r1.2 - 09 Feb 2004 - 08:23 GMT - Brad Mace
Copyright © 1999-2004 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding jEdit Community Wiki? Send feedback.