37 |
|
|
38 |
|
|
39 |
package gnu.java.awt.peer.gtk; |
package gnu.java.awt.peer.gtk; |
40 |
|
|
41 |
|
import java.awt.AWTEvent; |
42 |
|
import java.awt.Dimension; |
43 |
|
import java.awt.Font; |
44 |
|
import java.awt.TextField; |
45 |
import java.awt.event.KeyEvent; |
import java.awt.event.KeyEvent; |
46 |
import java.awt.peer.*; |
import java.awt.peer.TextFieldPeer; |
|
import java.awt.*; |
|
47 |
|
|
48 |
public class GtkTextFieldPeer extends GtkTextComponentPeer |
public class GtkTextFieldPeer extends GtkTextComponentPeer |
49 |
implements TextFieldPeer |
implements TextFieldPeer |
107 |
{ |
{ |
108 |
gtkSetFont(((GtkFontPeer)f.getPeer()).getXLFD(), f.getSize()); |
gtkSetFont(((GtkFontPeer)f.getPeer()).getXLFD(), f.getSize()); |
109 |
} |
} |
|
|
|
|
public void handleEvent (AWTEvent e) |
|
|
{ |
|
|
if (e.getID () == KeyEvent.KEY_PRESSED) |
|
|
{ |
|
|
KeyEvent ke = (KeyEvent)e; |
|
|
|
|
|
if (!ke.isConsumed() |
|
|
&& ke.getKeyCode() == KeyEvent.VK_ENTER) |
|
|
postActionEvent (getText(), ke.getModifiers ()); |
|
|
} |
|
|
|
|
|
super.handleEvent (e); |
|
|
} |
|
110 |
} |
} |