equal
deleted
inserted
replaced
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 } |
|