git://git.nikiroo.be
/
fanfix.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
many fixes
[fanfix.git]
/
src
/
jexer
/
io
/
AWTTerminal.java
diff --git
a/src/jexer/io/AWTTerminal.java
b/src/jexer/io/AWTTerminal.java
index 27ba80aa12b7180accfd394e9c340627fe32a9f6..783cffd4ec5f1fba6e6cd2397dd70a37d380a2a5 100644
(file)
--- a/
src/jexer/io/AWTTerminal.java
+++ b/
src/jexer/io/AWTTerminal.java
@@
-219,7
+219,7
@@
public final class AWTTerminal implements ComponentListener, KeyListener,
System.err.printf(" ctrl: %s\n", ctrl);
System.err.printf(" shift: %s\n", shift);
System.err.printf(" ch: %s\n", ch);
System.err.printf(" ctrl: %s\n", ctrl);
System.err.printf(" shift: %s\n", shift);
System.err.printf(" ch: %s\n", ch);
-
*/
+ */
// Special case: not return the bare modifier presses
switch (key.getKeyCode()) {
// Special case: not return the bare modifier presses
switch (key.getKeyCode()) {
@@
-368,6
+368,9
@@
public final class AWTTerminal implements ComponentListener, KeyListener,
case 0x0D:
keypress = kbEnter;
break;
case 0x0D:
keypress = kbEnter;
break;
+ case 0x09:
+ keypress = kbTab;
+ break;
case 0x7F:
keypress = kbDel;
break;
case 0x7F:
keypress = kbDel;
break;
@@
-396,7
+399,10
@@
public final class AWTTerminal implements ComponentListener, KeyListener,
*/
@Override
public void windowActivated(final WindowEvent event) {
*/
@Override
public void windowActivated(final WindowEvent event) {
- // Ignore
+ // Force a total repaint
+ synchronized (screen) {
+ screen.clearPhysical();
+ }
}
/**
}
/**