Changed restore_term to remove the Linux-specific escape sequence to restore
the cursor size, which is handled incorrectly by some terminal emulators.
This commit is contained in:
parent
5c668a88cb
commit
21d386d004