diff src/com/five_ten_sg/connectbot/service/TerminalMonitor.java @ 189:ab6f64d1a24a

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