# HG changeset patch
# User Carl Byington <carl@five-ten-sg.com>
# Date 1404329997 25200
# Node ID fd4ca38f38c968e960c459a34b6ecada431d7911
# Parent  6e07ea418b907d0d1bafd8c3df1d86ac4330fac2
add f13 thru f24 keys

diff -r 6e07ea418b90 -r fd4ca38f38c9 src/com/five_ten_sg/connectbot/service/TerminalBridge.java
--- a/src/com/five_ten_sg/connectbot/service/TerminalBridge.java	Wed Jul 02 12:36:54 2014 -0700
+++ b/src/com/five_ten_sg/connectbot/service/TerminalBridge.java	Wed Jul 02 12:39:57 2014 -0700
@@ -1262,7 +1262,7 @@
      */
     public boolean showFKeysDialog() {
         final String pickerString = "1234567890abcdefghijklmn";
-        HashMap<String,Integer> keymap = new HashMap<String,Integer>();
+        final keymap<String,Integer> keymap = new HashMap<String,Integer>();
         keymap.put("1", vt320.KEY_F1);
         keymap.put("2", vt320.KEY_F2);
         keymap.put("3", vt320.KEY_F3);
@@ -1297,7 +1297,7 @@
         CharacterPickerDialog cpd = new CharacterPickerDialog(parent.getContext(),
         parent, content, pickerString, true) {
             private void buttonPressed(CharSequence result) {
-                String s = new String(result);
+                String s = result.toString();
                 if (keymap.containsKey(s)) buffer.keyPressed(keymap.get(s), ' ', 0);
                 dismiss();
             }