KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > objectweb > jac > ide > Preferences


1 /*
2   Copyright (C) 2004 Laurent Martelli <laurent@aopsys.com>
3
4   This program is free software; you can redistribute it and/or modify
5   it under the terms of the GNU Lesser General Public License as
6   published by the Free Software Foundation; either version 2 of the
7   License, or (at your option) any later version.
8
9   This program is distributed in the hope that it will be useful,
10   but WITHOUT ANY WARRANTY; without even the implied warranty of
11   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12   GNU Lesser General Public License for more details.
13
14   You should have received a copy of the GNU Lesser General Public
15   License along with this program; if not, write to the Free Software
16   Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307
17   USA */
18
19 package org.objectweb.jac.ide;
20
21 import org.objectweb.jac.aspects.gui.swing.SHEditorConfig;
22
23 public class Preferences {
24     /**
25      * Default external program to edit resources
26      */
27     String JavaDoc externalEditor;
28     public void setExternalEditor(String JavaDoc editor) {
29         externalEditor = editor;
30     }
31     public String JavaDoc getExternalEditor() {
32         return externalEditor;
33     }
34
35     SHEditorConfig editorPrefs;
36     public void setEditorPrefs(SHEditorConfig prefs) {
37         this.editorPrefs = prefs;
38     }
39     public SHEditorConfig getEditorPrefs() {
40         return editorPrefs;
41     }
42 }
43
Popular Tags