Port details on branch 2022Q2 |
- jedit-devel Powerful programmer\'s text editor written in Java
- 4.3.p18 editors
=2 4.3.p18Version of this port present on the latest quarterly branch.
- DEPRECATED: Stable version is more recent than devel
This port expired on: 2012-11-26
- There is no maintainer for this port.
- Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org
- Port Added: 2004-06-03 02:36:25
- Last Update: 2012-11-28 15:08:00
- SVN Revision: 307908
- People watching this port, also watch:: mono, jedit, python, weex
- Also Listed In: java
- License: not specified in port
- WWW:
- http://jedit.sourceforge.net/
- Description:
- jEdit is an Open Source programmer's text editor written in Java. It is
released under the GNU General Public License. jEdit was written for Java 1.1
with Swing 1.1, and also runs under Java 2.
As far as text editors written in Java go, jEdit is one of the best. It has an
easy to use, intuitive interface, and enough features and flexibility to please
even the most hard-core programmer. A very incomplete list of jEdit's features
follows.
o Syntax highlighting for 30+ file types (including C, C++, Java, Perl, etc)
o Semi-intelligent auto indent in C, C++ and Java modes
o Bracket highlighting and matching
o Powerful macro system
o Auto-expanding abbreviations for the frequiently used strings
o Powerful search and replace - supports regular expressions and multiple file
search/replace; Search and replace operations can be recorded in macros
o Any number of strings and caret positions can be stored for later use in
so-called registers
o Rectangular selections for working with column-based files
o Any number of editor windows can be opened, and each view can be split into
multiple panes for side-by-side viewing of multiple files
o Unlimited undo/redo
WWW: http://jedit.sourceforge.net/
-
cgit ¦ GitHub ¦ GitHub ¦ GitLab ¦
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - There is no configure plist information for this port.
- Dependency lines:
-
- jedit>0:editors/jedit-devel
- No installation instructions:
- This port has been deleted.
- PKGNAME: jedit
- Flavors: there is no flavor information for this port.
- distinfo:
- There is no distinfo for this port.
No package information for this port in our database- Sometimes this happens. Not all ports have packages.
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- x11.pc : x11/libX11
- Runtime dependencies:
-
- java : java/javavmwrapper
- java : java/openjdk6
- x11.pc : x11/libX11
- There are no ports dependent upon this port
Configuration Options:
- No options to configure
- Options name:
- N/A
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|