Name Revision Size Age Last Change
clear_last_search.js 551 205 4 years dpavlin: search now follows from index to search and back, added clear button
hide.js 577 2.6K 4 years dpavlin: if in iframe, ask parent to resize me
usage.js 592 4.08K 4 years dpavlin: cludge to prevenet operation aborted message from Internet Explorer if there is no div with id de...