# HG changeset patch # User Carl Byington # Date 1402947091 25200 # Node ID bb27518ac2e9da6777b3a9240f1686b64b2e1b49 # Parent 1c22e6a7efffb09ae5bc0c2f7656976ecd2f4d22 convert ctrl keys to virtual keys; use proper android home directory diff -r 1c22e6a7efff -r bb27518ac2e9 src/com/five_ten_sg/connectbot/HostEditorActivity.java --- a/src/com/five_ten_sg/connectbot/HostEditorActivity.java Mon Jun 16 12:26:51 2014 -0700 +++ b/src/com/five_ten_sg/connectbot/HostEditorActivity.java Mon Jun 16 12:31:31 2014 -0700 @@ -265,6 +265,7 @@ // disable all preferences that are not applicable to this host findPreference(HostDatabase.FIELD_HOST_PUBKEYID).setEnabled(enableSSHFeatures); findPreference(HostDatabase.FIELD_HOST_USEAUTHAGENT).setEnabled(enableSSHFeatures); + findPreference(HostDatabase.FIELD_HOST_POSTLOGIN).setEnabled(!enable5250Features); findPreference(HostDatabase.FIELD_HOST_COMPRESSION).setEnabled(enableSSHFeatures); findPreference(HostDatabase.FIELD_HOST_HTTPPROXY).setEnabled(enableAsyncFeatures); findPreference(HostDatabase.FIELD_HOST_WANTSESSION).setEnabled(enableSSHFeatures); @@ -339,6 +340,7 @@ for (String key : this.pref.values.keySet()) { if (key.equals(HostDatabase.FIELD_HOST_POSTLOGIN)) continue; if (key.equals(HostDatabase.FIELD_HOST_EMULATION)) continue; + if (key.equals(HostDatabase.FIELD_HOST_MONITOR)) continue; Preference pref = this.findPreference(key);