diff xul/content/search.js @ 388:e61ee342f46a

interactive highlighting for new digilib
author hertzhaft
date Wed, 07 Dec 2005 18:51:09 +0100
parents bf945fcf9105
children
line wrap: on
line diff