#5 fallback to java.runtime.name if getFontAdjustments() doesn't work
authorKevin Lamonte <kevin.lamonte@gmail.com>
Sun, 30 Apr 2017 17:49:39 +0000 (13:49 -0400)
committerKevin Lamonte <kevin.lamonte@gmail.com>
Sun, 30 Apr 2017 17:49:39 +0000 (13:49 -0400)
commit15364867da403c8fa9e82ea5c5bf53413efc39cc
treead9ba74bd55e77ec3901816d74239814a283eb11
parent8a632d71fde904c0a9f49259105aa90f5fbe2fea
#5 fallback to java.runtime.name if getFontAdjustments() doesn't work
src/jexer/io/SwingScreen.java