diff options
author | Jonathan Slenders <jonathan@slenders.be> | 2016-01-20 20:10:02 +0100 |
---|---|---|
committer | Jonathan Slenders <jonathan@slenders.be> | 2016-01-20 20:24:59 +0100 |
commit | b0eea7bf0bc4e746c6054803616807e0fea2e32f (patch) | |
tree | c4224cd87e82be3a249d9dfc3a8b5814343091d5 /tools | |
parent | 640c29a5561b94305cbf4679a72980360d3355d1 (diff) |
Use prompt_toolkit.token everywhere. (Make pygments more optional.)
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/debug_vt100_input.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/debug_vt100_input.py b/tools/debug_vt100_input.py index 53faff48..6dd4c280 100755 --- a/tools/debug_vt100_input.py +++ b/tools/debug_vt100_input.py @@ -3,11 +3,11 @@ Parse vt100 input and print keys. For testing terminal input. """ - from __future__ import unicode_literals +import sys + from prompt_toolkit.terminal.vt100_input import InputStream, raw_mode from prompt_toolkit.keys import Keys -import sys def callback(key_press): |