chiark / gitweb /
editor.py: allow pasting a character description back in.
authorSimon Tatham <anakin@pobox.com>
Fri, 19 Jun 2020 20:33:24 +0000 (21:33 +0100)
committerSimon Tatham <anakin@pobox.com>
Fri, 19 Jun 2020 20:33:24 +0000 (21:33 +0100)
commitbc192756b4e404c4e9df616d75497fa91509dea6
treef6add2faf1c55e144c207748bf3ae082488362da
parent6c0e11d6f591e8fcb1ffe0c9f80c779d21976f41
editor.py: allow pasting a character description back in.

Middle-clicking will paste from the X primary selection and try to
interpret it as a sequence of octal numbers representing bitmap rows.
editor.py