KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > ejtools > graph > editor > GraphScaleEditor


1 /*
2  * EJTools, the Enterprise Java Tools
3  *
4  * Distributable under LGPL license.
5  * See terms of license at www.gnu.org.
6  */

7 package org.ejtools.graph.editor;
8
9 import com.dreambean.awt.editors.TagsEditor;
10
11 /**
12  * Custom editor for the graph scale.
13  *
14  * @author Laurent Etiemble
15  * @version $Revision: 1.5 $
16  */

17 public class GraphScaleEditor extends TagsEditor
18 {
19    /** Constructor for the SearchTypeEditor object */
20    public GraphScaleEditor()
21    {
22       super(new String JavaDoc[]{
23          "0.1 sec/pixel",
24          "0.5 sec/pixel",
25          "1.0 sec/pixel",
26          "5.0 sec/pixel",
27          "10 sec/pixel",
28          "1 min/pixel",
29          "5 min/pixel"},
30          new Object JavaDoc[]{
31          new Double JavaDoc(1.0d / 100),
32          new Double JavaDoc(1.0d / 500),
33          new Double JavaDoc(1.0d / 1000),
34          new Double JavaDoc(1.0d / 5000),
35          new Double JavaDoc(1.0d / 10000),
36          new Double JavaDoc(1.0d / 60000),
37          new Double JavaDoc(1.0d / 300000)
38          });
39    }
40 }
41
42
Popular Tags