plint

commit 570d2b8b34d7cb22e7b9f56b1dc31be2cd28bea8
parent e063d9a078a3c658a0bf2cc482c3c13cc07c53e5
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Fri, 13 Jul 2012 00:28:54 +0200

add support for "…" to plint_irc.py

Diffstat:
plint_irc.py
 | 
5
+++--

1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/plint_irc.py b/plint_irc.py
@@ -49,7 +49,7 @@ def manage(line, silent=False):
     return True
   if first[0] == '/':
     return False # ignore other commands
-  if first.lstrip().startswith("..."):
+  if first.lstrip().startswith("...") or first.lstrip().startswith("…"):
     text = buf+text
     usebuf = True
   if not usebuf:
@@ -58,7 +58,8 @@ def manage(line, silent=False):
     if not leading_cap(text):
       return False
   errors = template.check(text)
-  if len(errors) > 0 and text.rstrip().endswith("..."):
+  if len(errors) > 0 and (text.rstrip().endswith("...") or
+      text.rstrip().endswith("…")):
     # it might be a call
     buf = text
     if usebuf: