diff --git a/extras/chars.py b/extras/chars.py index 870e0bd74..6e0f920b4 100644 --- a/extras/chars.py +++ b/extras/chars.py @@ -1,4 +1,5 @@ # -*- coding: utf-8 -*- +from copy import copy #this is straight out of ../textpre.py because i'm lazy #see jap_chars for overrides if you are in japanese mode? chars = {