resync from TJIDE
authorKevin Lamonte <kevin.lamonte@gmail.com>
Mon, 11 Nov 2019 00:19:06 +0000 (18:19 -0600)
committerKevin Lamonte <kevin.lamonte@gmail.com>
Mon, 11 Nov 2019 00:19:06 +0000 (18:19 -0600)
commit0580bf2c756853c189f2abbe9c500a8ae2d46e23
tree873d7a0ccd66d8a0fb1cd8202d07ff04b0ebb8a2
parent5ca5f8e5310b189232ed337643f3b7b2ce6cd3b1
resync from TJIDE
src/jexer/teditor/Document.java