history patch
"S.Aeschbacher" <[email protected]>
| Newsgroups | gmane.comp.games.mud.client.lyntin |
|---|---|
| Message-ID | <[email protected]> |
Hi
how about this minor modification to history.py?
In my eyes it does not make much sense storing repeatedly the
same string in the history (It just slows down history browsing).
--- history.py.old Tue Nov 11 17:36:41 2003
+++ history.py Tue Nov 11 17:35:42 2003
@@ -83,6 +83,9 @@
if not input:
return
+ if input == self._history[0]:
+ return
+
self._history.insert(0, input)
if len(self._history) > 1000:
del self._history[-1]
regards
Stefan
-------------------------------------------------------
This SF.Net email sponsored by: ApacheCon 2003,
16-19 November in Las Vegas. Learn firsthand the latest
developments in Apache, PHP, Perl, XML, Java, MySQL,
WebDAV, and more! http://www.apachecon.com/