diff src/com/five_ten_sg/connectbot/service/TerminalMonitor.java @ 188:cf677a6f586d

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:10:20 -0700
parents 6e07ea418b90
children f86f1e37b504
line wrap: on
line diff