diff src/com/five_ten_sg/connectbot/service/TerminalBridge.java @ 190:dfdbc75cd45f

use floating point font size, change size by scaling factor rather than linear addition
author Carl Byington <carl@five-ten-sg.com>
date Wed, 02 Jul 2014 16:23:21 -0700
parents ab6f64d1a24a
children 2e4ab8c33851
line wrap: on
line diff
--- a/src/com/five_ten_sg/connectbot/service/TerminalBridge.java	Wed Jul 02 16:14:57 2014 -0700
+++ b/src/com/five_ten_sg/connectbot/service/TerminalBridge.java	Wed Jul 02 16:23:21 2014 -0700
@@ -172,7 +172,6 @@
      * Create new terminal bridge with following parameters.
      */
     public TerminalBridge(final TerminalManager manager, final HostBean host, final String homeDirectory) throws IOException {
-        float hostFontSize;
         this.manager       = manager;
         this.host          = host;
         this.homeDirectory = homeDirectory;