##// END OF EJS Templates
prefilter: make sure that ! gets precedence
vivainio -
Show More
@@ -48,6 +48,11 b' class LineInfo(object):'
48 48 self.pre, self.iFun, self.theRest = splitUserInput(line)
49 49
50 50 self.preChar = self.pre.strip()
51
52 # special override for !, which MUST always have top priority
53 if not self.preChar and self.iFun.startswith('!'):
54 self.preChar = self.pre = '!'
55 self.iFun = self.iFun[1:]
51 56 if self.preChar:
52 57 self.preWhitespace = '' # No whitespace allowd before esc chars
53 58 else:
@@ -71,6 +76,11 b' class LineInfo(object):'
71 76 if not self._oinfo:
72 77 self._oinfo = ip._ofind(self.iFun)
73 78 return self._oinfo
79 def __str__(self):
80 return "Lineinfo [%s|%s|%s]" %(self.pre,self.iFun,self.theRest)
81
82
83
74 84
75 85
76 86 def splitUserInput(line, pattern=None):
General Comments 0
You need to be logged in to leave comments. Login now