git://git.nikiroo.be / nikiroo-utils.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3405b55) | patch
fix crash when closing terminal window
authorKevin Lamonte <kevin.lamonte@gmail.com>
Thu, 7 Nov 2019 02:46:16 +0000 (20:46 -0600)
committerKevin Lamonte <kevin.lamonte@gmail.com>
Thu, 7 Nov 2019 02:46:16 +0000 (20:46 -0600)
commite376f42c3a9224cfaec0656a81b7eb813fec663c
tree973cb57d406d32748fbb2655071884469868a0f1tree | snapshot
parent3405b554b5a0567b3c22f146fc1ce226e3fa48d2commit | diff
fix crash when closing terminal window
src/jexer/TTerminalWidget.java diff | blob | blame | history
Small java utilities, mostly for personal use -- but feel free to have a look