changeset 29:d5bf9985b5c4 default tip

Add degree symbol, fix bug in HTML curler.
author David Barts <n5jrn@me.com>
date Thu, 07 Oct 2021 11:55:46 -0700
parents a1cda4ff6d4b
children
files curlers.py curlyq
diffstat 2 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/curlers.py	Tue Apr 13 10:18:59 2021 -0700
+++ b/curlers.py	Thu Oct 07 11:55:46 2021 -0700
@@ -216,7 +216,7 @@
                 ws[pos] = LSQUO
                 self._state = self._seen_ls
 
-    def _seen_ls():
+    def _seen_ls(self):
         pos = self._pos
         ws = self.workspace
         char = ws[pos]
--- a/curlyq	Tue Apr 13 10:18:59 2021 -0700
+++ b/curlyq	Thu Oct 07 11:55:46 2021 -0700
@@ -31,7 +31,7 @@
 INSEC = '"'
 
 # For --tex option
-TEX_SUBST = [ ("---", "—"), ("--", "–"), ("...", "…") ]
+TEX_SUBST = [ ("---", "—"), ("--", "–"), ("...", "…"), ("()", "°") ]
 
 # For --ligatures option
 LIG_SUBST = [ ("ffi", "\ufb03"), ("ffl", "\ufb04"), ("ff", "\ufb00"),