#37 don't resize except initial and font change
authorKevin Lamonte <kevin.lamonte@gmail.com>
Sun, 11 Aug 2019 18:17:28 +0000 (13:17 -0500)
committerKevin Lamonte <kevin.lamonte@gmail.com>
Sun, 11 Aug 2019 18:17:28 +0000 (13:17 -0500)
commitb4570a63cef669dc85335a7f8d571a5eefdfc3c7
tree3401b35522cb62b8ca4458327d9c5397f2645ba9
parenta75902faaade579e3ee7fe68b0e18e49148410de
#37 don't resize except initial and font change
src/jexer/backend/SwingTerminal.java