#10 Advanced history

open
nobody
4
2006-04-30
2006-04-30
Martin Geisler
No

The history of commands could be made more advanced:
duplicates could be ignored, it could be saved between
sessions (in a cookie or on the server). Of course one
should also be able to clear it on demand.

Discussion