]> granicus.if.org Git - python/commit
Speed up the search a bit -- don't drag a mark around...
authorGuido van Rossum <guido@python.org>
Mon, 19 Oct 1998 03:33:40 +0000 (03:33 +0000)
committerGuido van Rossum <guido@python.org>
Mon, 19 Oct 1998 03:33:40 +0000 (03:33 +0000)
commit7b9bb05df9d1fbf221fca14635d2a60ef393e2a2
tree93ec666bd536c82680f2d948c661b32ca5992503
parentcc0ade8cd51d8b02885217d3109d4d470eb9702a
Speed up the search a bit -- don't drag a mark around...
Tools/idle/SearchBinding.py