1 | /*
|
---|
2 | * SimpleGraphicalClient.java
|
---|
3 | * Copyright (C) 2001 New Zealand Digital Library Project
|
---|
4 | *
|
---|
5 | * This program is free software; you can redistribute it and/or modify
|
---|
6 | * it under the terms of the GNU General Public License as published by
|
---|
7 | * the Free Software Foundation; either version 2 of the License, or
|
---|
8 | * (at your option) any later version.
|
---|
9 | *
|
---|
10 | * This program is distributed in the hope that it will be useful,
|
---|
11 | * but WITHOUT ANY WARRANTY; without even the implied warranty of
|
---|
12 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
---|
13 | * GNU General Public License for more details.
|
---|
14 | *
|
---|
15 | * You should have received a copy of the GNU General Public License
|
---|
16 | * along with this program; if not, write to the Free Software
|
---|
17 | * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
|
---|
18 | */
|
---|
19 | package org.nzdl.gsdl.SimpleGraphicalClient;
|
---|
20 |
|
---|
21 | import java.awt.*;
|
---|
22 |
|
---|
23 | /**
|
---|
24 | * Class
|
---|
25 | *
|
---|
26 | * A class to
|
---|
27 | *
|
---|
28 | * @author Dave Nichols ([email protected])
|
---|
29 | * @author stuart yeates ([email protected])
|
---|
30 | * @version $Revision: 2270 $
|
---|
31 | * @see org.nzdl.gsdl.service.SimpleGraphicalClient.SimpleGraphicalClient
|
---|
32 | */
|
---|
33 |
|
---|
34 |
|
---|
35 | public interface Constants
|
---|
36 |
|
---|
37 | {
|
---|
38 |
|
---|
39 | /* Menu Item IDs */
|
---|
40 |
|
---|
41 | /* File Menu */
|
---|
42 |
|
---|
43 | final static int QUIT_ID = 104;
|
---|
44 | final static int POLL_ID = 105;
|
---|
45 | final static int GARBAGE_ID = 106;
|
---|
46 |
|
---|
47 | /* Edit Menu */
|
---|
48 |
|
---|
49 | final static int PREF_ID = 201;
|
---|
50 | final static int LOG_ID = 202;
|
---|
51 |
|
---|
52 |
|
---|
53 |
|
---|
54 | /* Cursors */
|
---|
55 |
|
---|
56 | Cursor NORMAL_CURSOR = Cursor.getPredefinedCursor(Cursor.DEFAULT_CURSOR);
|
---|
57 | Cursor WAIT_CURSOR = Cursor.getPredefinedCursor(Cursor.WAIT_CURSOR);
|
---|
58 |
|
---|
59 | /* Query History Table Column Titles */
|
---|
60 |
|
---|
61 |
|
---|
62 |
|
---|
63 |
|
---|
64 | /*Fonts */
|
---|
65 |
|
---|
66 | /* font for display of document contents */
|
---|
67 | Font docFont = new Font("SansSerif", Font.PLAIN , 10);
|
---|
68 |
|
---|
69 | /* font for display of results */
|
---|
70 |
|
---|
71 | Font resultsFont = new Font("SansSerif", Font.PLAIN , 10);
|
---|
72 |
|
---|
73 | /* font for display of berrybasket contents */
|
---|
74 |
|
---|
75 | Font berryFont = new Font("SansSerif", Font.PLAIN , 10);
|
---|
76 |
|
---|
77 | /* font for display of queryHistory */
|
---|
78 |
|
---|
79 | Font queryHistoryFont = new Font("SansSerif", Font.PLAIN , 10);
|
---|
80 |
|
---|
81 | /* font for query input TextField */
|
---|
82 |
|
---|
83 | Font searchTextFieldFont = new Font("SansSerif", Font.BOLD , 11);
|
---|
84 |
|
---|
85 |
|
---|
86 |
|
---|
87 | }
|
---|