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

diff -r 6cef525a3bff -r 58992a0e6403 src/com/five_ten_sg/connectbot/service/TerminalBridge.java
--- a/src/com/five_ten_sg/connectbot/service/TerminalBridge.java	Wed Jul 02 12:40:56 2014 -0700
+++ b/src/com/five_ten_sg/connectbot/service/TerminalBridge.java	Wed Jul 02 12:41:43 2014 -0700
@@ -1263,7 +1263,7 @@
      */
     public boolean showFKeysDialog() {
         final String pickerString = "1234567890abcdefghijklmn";
-        final keymap<String,Integer> keymap = new HashMap<String,Integer>();
+        final HashMap<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);