Patch #1592250: Add elidge argument to Tkinter.Text.search.

This commit is contained in:
Martin v. Löwis 2006-11-09 11:27:32 +00:00
parent b2bba739c5
commit 038cad7ee4
2 changed files with 4 additions and 1 deletions

View file

@ -3017,7 +3017,7 @@ class Text(Widget):
self.tk.call(self._w, 'scan', 'dragto', x, y)
def search(self, pattern, index, stopindex=None,
forwards=None, backwards=None, exact=None,
regexp=None, nocase=None, count=None):
regexp=None, nocase=None, count=None, elide=None):
"""Search PATTERN beginning from INDEX until STOPINDEX.
Return the index of the first character of a match or an empty string."""
args = [self._w, 'search']
@ -3026,6 +3026,7 @@ class Text(Widget):
if exact: args.append('-exact')
if regexp: args.append('-regexp')
if nocase: args.append('-nocase')
if elide: args.append('-elide')
if count: args.append('-count'); args.append(count)
if pattern[0] == '-': args.append('--')
args.append(pattern)