# HG changeset patch
# User Carl Byington <carl@five-ten-sg.com>
# Date 1404333783 25200
# Node ID 182d3e9a69cd233bea68e73008f8b2394f11c2a8
# Parent  dda733e0e28cc53a5b3ee1b3236b26c4a5ece33b
add f13 thru f24 keys

diff -r dda733e0e28c -r 182d3e9a69cd src/com/five_ten_sg/connectbot/service/TerminalBridge.java
--- a/src/com/five_ten_sg/connectbot/service/TerminalBridge.java	Wed Jul 02 13:35:41 2014 -0700
+++ b/src/com/five_ten_sg/connectbot/service/TerminalBridge.java	Wed Jul 02 13:43:03 2014 -0700
@@ -1315,7 +1315,8 @@
             @Override
             public void onClick(View v) {
                 if (v instanceof Button) {
-                    final CharSequence result = ((Button) v).getText();
+                    Button b = (Button)v;
+                    final CharSequence result = b.getText();
 
                     if (result.equals(""))
                         dismiss();