git://git.nikiroo.be / nikiroo-utils.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8a632d7) | patch
#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
treead9ba74bd55e77ec3901816d74239814a283eb11tree | snapshot
parent8a632d71fde904c0a9f49259105aa90f5fbe2feacommit | diff
#5 fallback to java.runtime.name if getFontAdjustments() doesn't work
src/jexer/io/SwingScreen.java diff | blob | blame | history
Small java utilities, mostly for personal use -- but feel free to have a look