chiark / gitweb /
import the "re" module in the editor
authorBen Harris <bjh21@bjh21.me.uk>
Wed, 14 Sep 2022 08:21:12 +0000 (09:21 +0100)
committerBen Harris <bjh21@bjh21.me.uk>
Wed, 14 Sep 2022 08:21:12 +0000 (09:21 +0100)
Without it, pasting doesn't actually work.

editor.py

index aae99ea85d591af4fb493a01ba6ae82b1a52f449..0d07ec679faf46b378d0bddaa2d2aee7858a58ec 100644 (file)
--- a/editor.py
+++ b/editor.py
@@ -2,6 +2,7 @@
 
 from __future__ import division, print_function, unicode_literals
 
+import re
 import sys
 import string