src/Tools/isac/jedit (copy)/IsacPlugin.java
author Marco Steger <m.steger@student.tugraz.at>
Thu, 02 Sep 2010 21:57:03 +0200
branchjedit-isac
changeset 37973 f4747a9ae495
permissions -rw-r--r--
changed .java to .scala
     1 /*
     2  * IsacPlugin.java
     3  * part of the Isac plugin for the jEdit text editor
     4  * Copyright (C) 2001 John Gellene
     5  * jgellene@nyc.rr.com
     6  *
     7  * This program is free software; you can redistribute it and/or
     8  * modify it under the terms of the GNU General Public License
     9  * as published by the Free Software Foundation; either version 2
    10  * of the License, or any later version.
    11  *
    12  * This program is distributed in the hope that it will be useful,
    13  * but WITHOUT ANY WARRANTY; without even the implied warranty of
    14  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
    15  * GNU General Public License for more details.
    16  *
    17  * You should have received a copy of the GNU General Public License
    18  * along with this program; if not, write to the Free Software
    19  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
    20  *
    21  * $Id: IsacPlugin.java 12504 2008-04-22 23:12:43Z ezust $
    22  */
    23 
    24 import org.gjt.sp.jedit.EditPlugin;
    25 
    26 /**
    27  * The Isac plugin
    28  * 
    29  * @author gadei
    30  */
    31 public class IsacPlugin extends EditPlugin {
    32 	public static final String NAME = "isac";
    33 	public static final String OPTION_PREFIX = "options.isac.";
    34 }