diff options
author | Steve Price <steve@FreeBSD.org> | 2000-05-01 03:12:29 +0000 |
---|---|---|
committer | Steve Price <steve@FreeBSD.org> | 2000-05-01 03:12:29 +0000 |
commit | e677f9ddcd1e719b4e36f23840a043ec719e76ce (patch) | |
tree | 381c2d5c122fb4bd710ba69a7494e9c76a6266e3 /editors/jext/pkg-plist | |
parent | Adding the bulb and moneydance ports. (diff) |
Adding jext version 2.7.0.6.
Jext is a powerful 100% pure Java text editor. Jext has been mainly designed
for programmers. Thus, Jext provides a lot of useful functions for coders:
syntax colorizing (Perl, XML/HTML, Java, JavaScript), auto indent, methods
seeker for Java, source code formatting and much more...
PR: 17111
Submitted by: Maxim Sobolev <sobomax@altavista.net>
Notes
Notes:
svn path=/head/; revision=28210
Diffstat (limited to '')
-rw-r--r-- | editors/jext/pkg-plist | 112 |
1 files changed, 112 insertions, 0 deletions
diff --git a/editors/jext/pkg-plist b/editors/jext/pkg-plist new file mode 100644 index 000000000000..633f92ed5713 --- /dev/null +++ b/editors/jext/pkg-plist @@ -0,0 +1,112 @@ +bin/jext +share/doc/java/jext/Copying.txt +share/doc/java/jext/History.txt +share/doc/java/jext/Jext-fr.txt +share/doc/java/jext/Scripts.txt +share/doc/java/jext/index.html +share/doc/java/jext/jext-console.html +share/doc/java/jext/jext-editor.html +share/doc/java/jext/jext-menus-edit.html +share/doc/java/jext/jext-menus-file.html +share/doc/java/jext/jext-menus-jext.html +share/doc/java/jext/jext-menus-plugins.html +share/doc/java/jext/jext-menus-search.html +share/doc/java/jext/jext-menus.html +share/doc/java/jext/jext.gif +share/doc/java/jext/source/bin/bin.txt +share/doc/java/jext/source/dtd/xtiny-doc-page.dtd +share/doc/java/jext/source/dtd/xtiny-doc.dtd +share/doc/java/jext/source/gaia-batch +share/doc/java/jext/source/gaia.bat +share/doc/java/jext/source/xml/index.xml +share/doc/java/jext/source/xml/jext-console.xml +share/doc/java/jext/source/xml/jext-editor.xml +share/doc/java/jext/source/xml/jext-menus-edit.xml +share/doc/java/jext/source/xml/jext-menus-file.xml +share/doc/java/jext/source/xml/jext-menus-jext.xml +share/doc/java/jext/source/xml/jext-menus-plugins.xml +share/doc/java/jext/source/xml/jext-menus-search.xml +share/doc/java/jext/source/xml/jext-menus.xml +share/doc/java/jext/source/xsl/xtiny-doc-page.xsl +share/doc/java/jext/source/xsl/xtiny-doc.xsl +share/doc/java/jext/stylesheet.css +share/java/jext/icons/jext.ico +share/java/jext/icons/jext.xpm +share/java/jext/jext.jar +share/java/jext/plugins/DnD.jar +share/java/jext/plugins/DnD/DnD.props.xml +share/java/jext/plugins/DnD/DnDHandler.java +share/java/jext/plugins/DnD/DnDPlugin.java +share/java/jext/plugins/FastFind.jar +share/java/jext/plugins/FastFind/FastFind.java +share/java/jext/plugins/FastFind/FastFind.props.xml +share/java/jext/plugins/FastFind/FastFindOptions.java +share/java/jext/plugins/FastFind/FastFindPlugin.java +share/java/jext/plugins/FastSyntax.jar +share/java/jext/plugins/FastSyntax/FastSyntax.java +share/java/jext/plugins/FastSyntax/FastSyntax.props.xml +share/java/jext/plugins/FastSyntax/FastSyntaxOptions.java +share/java/jext/plugins/FastSyntax/FastSyntaxPlugin.java +share/java/jext/plugins/HTML.jar +share/java/jext/plugins/HTML/HTML.props.xml +share/java/jext/plugins/HTML/HTMLIndenter.java +share/java/jext/plugins/HTML/HTMLPlugin.java +share/java/jext/plugins/HTML/IndenterOptionPane.java +share/java/jext/plugins/HTML/NextTag.java +share/java/jext/plugins/HTML/PreviousTag.java +share/java/jext/plugins/HTML/ToAccents.java +share/java/jext/plugins/HTML/ToEntities.java +share/java/jext/plugins/HyperTyper.jar +share/java/jext/plugins/HyperTyper/HyperTyper.props.xml +share/java/jext/plugins/HyperTyper/hyperTyper/HyperTyperAction.java +share/java/jext/plugins/HyperTyper/hyperTyper/HyperTyperHotkey.java +share/java/jext/plugins/HyperTyper/hyperTyper/HyperTyperMapping.java +share/java/jext/plugins/HyperTyper/hyperTyper/HyperTyperMappingGrid.java +share/java/jext/plugins/HyperTyper/hyperTyper/HyperTyperObjectManager.java +share/java/jext/plugins/HyperTyper/hyperTyper/HyperTyperOption.java +share/java/jext/plugins/HyperTyper/hyperTyper/HyperTyperPlugin.java +share/java/jext/plugins/HyperTyper/hyperTyper/HyperTyperSequenceList.java +share/java/jext/plugins/HyperTyper/hyperTyper/HyperTyperWindowGUI.java +share/java/jext/plugins/HyperTyper/hyperTyper/Sequence.java +share/java/jext/plugins/HyperTyper/hyperTyper/SequenceChangedEvent.java +share/java/jext/plugins/HyperTyper/hyperTyper/SequenceChangedListener.java +share/java/jext/plugins/Java.jar +share/java/jext/plugins/Java/Beautifier.java +share/java/jext/plugins/Java/ClassBrowser.java +share/java/jext/plugins/Java/ClassBrowserGUI.java +share/java/jext/plugins/Java/HTMLViewer.java +share/java/jext/plugins/Java/JSBeautifier.java +share/java/jext/plugins/Java/JSFormatter.java +share/java/jext/plugins/Java/JSLineBreaker.java +share/java/jext/plugins/Java/Java.props.xml +share/java/jext/plugins/Java/JavaPlugin.java +share/java/jext/plugins/Java/MethodsSeeker.java +share/java/jext/plugins/Java/Seeker.java +share/java/jext/plugins/TextMode.jar +share/java/jext/plugins/TextMode/Text.props.xml +share/java/jext/plugins/TextMode/TextMode.java +share/java/jext/plugins/TextMode/TextModePlugin.java +share/java/jext/plugins/TextMode/syntax/TextTokenMarker.java +share/java/jext/scripts/insert_date_at_anchor.jext-script +share/java/jext/scripts/os.jext-script +share/java/jext/xtools/xinsert.dtd +@dirrm share/doc/java/jext/source/bin +@dirrm share/doc/java/jext/source/dtd +@dirrm share/doc/java/jext/source/xml +@dirrm share/doc/java/jext/source/xsl +@dirrm share/doc/java/jext/source +@dirrm share/doc/java/jext +@dirrm share/java/jext/icons +@dirrm share/java/jext/plugins/DnD +@dirrm share/java/jext/plugins/FastFind +@dirrm share/java/jext/plugins/FastSyntax +@dirrm share/java/jext/plugins/HTML +@dirrm share/java/jext/plugins/HyperTyper/hyperTyper +@dirrm share/java/jext/plugins/HyperTyper +@dirrm share/java/jext/plugins/Java +@dirrm share/java/jext/plugins/TextMode/syntax +@dirrm share/java/jext/plugins/TextMode +@dirrm share/java/jext/plugins +@dirrm share/java/jext/scripts +@dirrm share/java/jext/xtools +@dirrm share/java/jext |