2016-06-20 18:23:28 +02:00
|
|
|
--- java/src/charvax/swing/JTextField.java.orig 2016-06-20 12:40:44 UTC
|
|
|
|
|
+++ java/src/charvax/swing/JTextField.java
|
|
|
|
|
@@ -118,11 +118,6 @@ public class JTextField
|
|
|
|
|
return _columns;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
- public void setFont(Font font_) {
|
|
|
|
|
- _bold = ((font_.getStyle() & Font.BOLD) != 0);
|
|
|
|
|
- }
|
|
|
|
|
-
|
|
|
|
|
-
|
|
|
|
|
/**
|
|
|
|
|
* Set the action command
|
|
|
|
|
*/
|
|
|
|
|
@@ -189,9 +184,8 @@ public class JTextField
|
|
|
|
|
* UNDERLINE attribute.
|
|
|
|
|
*/
|
|
|
|
|
int attrib = 0;
|
|
|
|
|
- if (super._enabled)
|
|
|
|
|
+ if (_enabled)
|
|
|
|
|
attrib |= Toolkit.A_UNDERLINE;
|
|
|
|
|
-
|
|
|
|
|
if (_bold)
|
|
|
|
|
attrib |= Toolkit.A_BOLD;
|
|
|
|
|
|
|
|
|
|
@@ -247,7 +241,7 @@ public class JTextField
|
|
|
|
|
|
|
|
|
|
/*
|
|
|
|
|
*/
|
|
|
|
|
- if (ke_.isActionKey() == false) {
|
|
|
|
|
+ if (!ke_.isActionKey() && (ke_.getID() == KeyEvent.KEY_TYPED)) {
|
|
|
|
|
|
|
|
|
|
/* If it is a control character, ignore it.
|
|
|
|
|
* @todo Do something more useful with control chars.
|
|
|
|
|
@@ -415,8 +409,6 @@ public class JTextField
|
|
|
|
|
//====================================================================
|
|
|
|
|
// INSTANCE VARIABLES
|
|
|
|
|
|
|
|
|
|
- protected boolean _bold = false;
|
|
|
|
|
-
|
|
|
|
|
protected int _columns;
|
|
|
|
|
|
|
|
|
|
/**
|
