1 package com.generalrobotix.ui.view.graph;
3 import org.eclipse.swt.SWT;
4 import org.eclipse.swt.events.FocusEvent;
5 import org.eclipse.swt.events.FocusListener;
6 import org.eclipse.swt.events.VerifyEvent;
7 import org.eclipse.swt.events.VerifyListener;
8 import org.eclipse.swt.events.MouseEvent;
9 import org.eclipse.swt.events.MouseListener;
10 import org.eclipse.swt.events.MouseTrackListener;
11 import org.eclipse.swt.events.MouseMoveListener;
12 import org.eclipse.swt.events.ControlEvent;
13 import org.eclipse.swt.events.ControlListener;
15 import org.eclipse.swt.layout.GridData;
16 import org.eclipse.swt.layout.GridLayout;
17 import org.eclipse.swt.widgets.Button;
18 import org.eclipse.swt.widgets.Composite;
19 import org.eclipse.swt.widgets.Control;
20 import org.eclipse.swt.widgets.Text;
21 import org.eclipse.swt.widgets.Display;
52 GridLayout gl =
new GridLayout(2,
false);
53 gl.horizontalSpacing = 0;
54 gl.verticalSpacing = 0;
57 text_ =
new Text(
this,SWT.SINGLE | SWT.BORDER);
58 text_.addFocusListener(
new FocusListener(){
59 public void focusLost(FocusEvent e){
63 public void focusGained(FocusEvent e){
66 text_.addVerifyListener(
new VerifyListener(){
67 public void verifyText(VerifyEvent e){
69 if(
max_ == Double.POSITIVE_INFINITY)
75 for(
int i = 0;
i < e.text.length();
i++){
76 char c = e.text.charAt(
i);
77 if(!((
'0' <=
c &&
c <=
'9') ||
80 c ==
'e' ||
c ==
'E'))
88 GridData gridData =
new GridData();
89 gridData.widthHint = 80;
90 text_.setLayoutData(gridData);
92 Composite inner =
new Composite(
this, SWT.NULL);
93 GridLayout rlInner =
new GridLayout(1,
false);
94 rlInner.marginHeight = 0;
95 rlInner.marginWidth = 0;
96 rlInner.horizontalSpacing = 0;
97 rlInner.verticalSpacing = 0;
98 inner.setLayout(rlInner);
99 GridData innerGrid =
new GridData();
100 innerGrid.verticalAlignment = SWT.FILL;
101 inner.setLayoutData(innerGrid);
103 buttonUP_ =
new Button(inner,SWT.ARROW | SWT.UP);
104 buttonUP_.addMouseTrackListener(
new MouseTrackListener(){
105 public void mouseEnter(MouseEvent e){
108 public void mouseExit(MouseEvent e){
111 public void mouseHover(MouseEvent e){
115 buttonUP_.addMouseMoveListener(
new MouseMoveListener(){
116 public void mouseMove(MouseEvent e){
120 buttonUP_.addMouseListener(
new MouseListener(){
121 public void mouseDoubleClick(MouseEvent e){
123 public void mouseDown(MouseEvent e) {
129 public void mouseUp(MouseEvent e) {
136 buttonDOWN_ =
new Button(inner,SWT.ARROW | SWT.DOWN);
137 buttonDOWN_.addMouseTrackListener(
new MouseTrackListener(){
138 public void mouseEnter(MouseEvent e){
141 public void mouseExit(MouseEvent e){
144 public void mouseHover(MouseEvent e){
148 buttonDOWN_.addMouseMoveListener(
new MouseMoveListener(){
149 public void mouseMove(MouseEvent e){
154 public void mouseDoubleClick(MouseEvent e){
156 public void mouseDown(MouseEvent e) {
162 public void mouseUp(MouseEvent e) {
169 text_.addControlListener(
new ControlListener(){
170 public void controlMoved(ControlEvent e) {
172 public void controlResized(ControlEvent e) {
173 GridData buttonUpGrid =
new GridData();
174 buttonUpGrid.heightHint=
text_.getSize().y/2;
176 GridData buttonDownGrid =
new GridData();
177 buttonDownGrid.heightHint=
text_.getSize().y/2;
186 Display display =
text_.getDisplay();
187 if (!display.isDisposed())
200 Display display =
text_.getDisplay();
201 if (!display.isDisposed())
218 String s =
text_.getText();
222 }
catch (Exception e) {
248 public boolean isOk(
double v) {
253 super.setEnabled(
flag);
254 Control[] cmps = getChildren();
255 for (
int i = 0;
i < cmps.length;
i++) {
256 cmps[
i].setEnabled(
flag);
273 Display display =
text_.getDisplay();
274 if (!display.isDisposed())
282 Display display =
text_.getDisplay();
283 if (!display.isDisposed())
291 Display display =
text_.getDisplay();
292 if (!display.isDisposed())
300 Display display =
text_.getDisplay();
301 if (!display.isDisposed())