comparison src/com/five_ten_sg/connectbot/service/TerminalKeyListener.java @ 51:8c6de858bb73 tn5250

start tn5250 integration
author Carl Byington <carl@five-ten-sg.com>
date Wed, 11 Jun 2014 11:54:52 -0700
parents 2cd3d8091e37
children 0e3fc85d0586
comparison
equal deleted inserted replaced
50:2cd3d8091e37 51:8c6de858bb73
78 78
79 // All the transient key codes 79 // All the transient key codes
80 public final static int META_TRANSIENT = META_CTRL_ON | META_ALT_ON 80 public final static int META_TRANSIENT = META_CTRL_ON | META_ALT_ON
81 | META_SHIFT_ON; 81 | META_SHIFT_ON;
82 82
83 private final TerminalManager manager; 83 protected final TerminalManager manager;
84 private final TerminalBridge bridge; 84 protected final TerminalBridge bridge;
85 private final vt320 buffer; 85 protected final vt320 buffer;
86 private String encoding; 86 protected String encoding;
87 87
88 private String keymode = null; 88 protected String keymode = null;
89 protected boolean hardKeyboard = false; 89 protected boolean hardKeyboard = false;
90 protected boolean hardKeyboardHidden; 90 protected boolean hardKeyboardHidden;
91 private String customKeyboard = null; 91 protected String customKeyboard = null;
92 92
93 private int metaState = 0; 93 protected int metaState = 0;
94 private int mDeadKey = 0; 94 private int mDeadKey = 0;
95 95
96 // TODO add support for the new API. 96 // TODO add support for the new API.
97 private ClipboardManager clipboard = null; 97 private ClipboardManager clipboard = null;
98 private boolean selectingForCopy = false; 98 private boolean selectingForCopy = false;
99 private final SelectionArea selectionArea; 99 private final SelectionArea selectionArea;
882 882
883 public Charset getCharset() { 883 public Charset getCharset() {
884 return Charset.forName(encoding); 884 return Charset.forName(encoding);
885 } 885 }
886 886
887 private void ctrlKeySpecial() { 887 protected void ctrlKeySpecial() {
888 if (selectingForCopy) { 888 if (selectingForCopy) {
889 if (selectionArea.isSelectingOrigin()) 889 if (selectionArea.isSelectingOrigin())
890 selectionArea.finishSelectingOrigin(); 890 selectionArea.finishSelectingOrigin();
891 else { 891 else {
892 if (clipboard != null) { 892 if (clipboard != null) {