##// END OF EJS Templates
prefilter: make sure that ! gets precedence
vivainio -
Show More
@@ -48,6 +48,11 b' class LineInfo(object):'
48 self.pre, self.iFun, self.theRest = splitUserInput(line)
48 self.pre, self.iFun, self.theRest = splitUserInput(line)
49
49
50 self.preChar = self.pre.strip()
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 if self.preChar:
56 if self.preChar:
52 self.preWhitespace = '' # No whitespace allowd before esc chars
57 self.preWhitespace = '' # No whitespace allowd before esc chars
53 else:
58 else:
@@ -71,6 +76,11 b' class LineInfo(object):'
71 if not self._oinfo:
76 if not self._oinfo:
72 self._oinfo = ip._ofind(self.iFun)
77 self._oinfo = ip._ofind(self.iFun)
73 return self._oinfo
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 def splitUserInput(line, pattern=None):
86 def splitUserInput(line, pattern=None):
General Comments 0
You need to be logged in to leave comments. Login now