01: /*
02: * Copyright (c) 2000, Jacob Smullyan.
03: *
04: * This is part of SkunkDAV, a WebDAV client. See http://skunkdav.sourceforge.net/
05: * for the latest version.
06: *
07: * SkunkDAV is free software; you can redistribute it and/or
08: * modify it under the terms of the GNU General Public License as published
09: * by the Free Software Foundation; either version 2, or (at your option)
10: * any later version.
11: *
12: * SkunkDAV 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 GNU
15: * General Public License for more details.
16: *
17: * You should have received a copy of the GNU General Public License
18: * along with SkunkDAV; see the file COPYING. If not, write to the Free
19: * Software Foundation, 59 Temple Place - Suite 330, Boston, MA
20: * 02111-1307, USA.
21: */
22:
23: package org.skunk.dav.client.gui.editor;
24:
25: import java.awt.Color;
26: import java.awt.Font;
27: import java.awt.Insets;
28:
29: /**
30: * interface implemented by SimpleTextEditor for configuration.
31: */
32: public interface ConfigurableEditor {
33: Color DEFAULT_CARET_COLOR = new Color(255, 51, 51);
34: String BACKGROUND_PROPERTY = "background";
35: String FOREGROUND_PROPERTY = "foreground";
36: String MARGIN_PROPERTY = "margin";
37: String FONT_PROPERTY = "font";
38: String CARET_COLOR_PROPERTY = "caretColor";
39: String TAB_SIZE_PROPERTY = "tabSize";
40: int DEFAULT_TAB_SIZE = 8;
41:
42: Insets getMargin();
43:
44: void setMargin(Insets margin);
45:
46: Color getBackground();
47:
48: void setBackground(Color background);
49:
50: Color getForeground();
51:
52: void setForeground(Color foreground);
53:
54: Color getCaretColor();
55:
56: void setCaretColor(Color caretColor);
57:
58: void setFont(Font defaultFont);
59:
60: int getTabSize();
61:
62: void setTabSize(int tabSize);
63:
64: }
|