From e677f9ddcd1e719b4e36f23840a043ec719e76ce Mon Sep 17 00:00:00 2001 From: Steve Price Date: Mon, 1 May 2000 03:12:29 +0000 Subject: 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 --- editors/jext/files/patch-aa | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 editors/jext/files/patch-aa (limited to 'editors/jext/files/patch-aa') diff --git a/editors/jext/files/patch-aa b/editors/jext/files/patch-aa new file mode 100644 index 000000000000..b65732895edb --- /dev/null +++ b/editors/jext/files/patch-aa @@ -0,0 +1,19 @@ +--- jext.orig Wed Mar 1 22:40:49 2000 ++++ jext Wed Mar 1 22:41:16 2000 +@@ -4,11 +4,14 @@ + # This version allows for an install in a central area like /usr/local/jext. + # Set the JEXT_HOME to /usr/local/jext and add this to your PATH. + # Norbert Seidel +- ++JEXT_HOME=%JEXT_HOME% ++CLASSPATH=$CLASSPATH:%JFC%:$JEXT_HOME/jext.jar ++export CLASSPATH ++export JEXT_HOME + # Add links to plugins + if [ ! -d "$HOME/.jext" ]; then + mkdir -p $HOME/.jext/xinsert + ln -s $JEXT_HOME/plugins $HOME/.jext + fi + +-java -ms4m -mx16m -classpath $JEXT_HOME/jext.jar com.chez.powerteam.jext.Jext $* & ++%JAVAVM% -ms4m -mx16m -Djava.compiler=%JAVAJIT% com.chez.powerteam.jext.Jext $* -- cgit v1.2.3