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
#51 working OK
[fanfix.git]
/
src
/
jexer
/
tterminal
/
ECMA48.java
diff --git
a/src/jexer/tterminal/ECMA48.java
b/src/jexer/tterminal/ECMA48.java
index 7286c7db9afd77aee39c1e4070d0c0999981f536..c277795d69450b2db44f79d77a1caa8062c11275 100644
(file)
--- a/
src/jexer/tterminal/ECMA48.java
+++ b/
src/jexer/tterminal/ECMA48.java
@@
-871,10
+871,10
@@
public class ECMA48 implements Runnable {
case XTERM:
// "I am a VT220" - 7 bit version
if (!s8c1t) {
case XTERM:
// "I am a VT220" - 7 bit version
if (!s8c1t) {
- return "\033[?62;1;6c";
+ return "\033[?62;1;6
;9;4
c";
}
// "I am a VT220" - 8 bit version
}
// "I am a VT220" - 8 bit version
- return "\u009b?62;1;6c";
+ return "\u009b?62;1;6
;9;4
c";
default:
throw new IllegalArgumentException("Invalid device type: " + type);
}
default:
throw new IllegalArgumentException("Invalid device type: " + type);
}
@@
-1092,7
+1092,7
@@
public class ECMA48 implements Runnable {
*
* @param width the new width
*/
*
* @param width the new width
*/
- public final void setWidth(final int width) {
+ public final
synchronized
void setWidth(final int width) {
this.width = width;
rightMargin = width - 1;
if (currentState.cursorX >= width) {
this.width = width;
rightMargin = width - 1;
if (currentState.cursorX >= width) {
@@
-1117,7
+1117,7
@@
public class ECMA48 implements Runnable {
*
* @param height the new height
*/
*
* @param height the new height
*/
- public final void setHeight(final int height) {
+ public final
synchronized
void setHeight(final int height) {
int delta = height - this.height;
this.height = height;
scrollRegionBottom += delta;
int delta = height - this.height;
this.height = height;
scrollRegionBottom += delta;