var preferences = {
runOnLoad: /*@runOnLoad: Run script on page load based on search engine referrer@bool@*/true/*@*/,
runOnKeyPress: /*@runOnKeyPress: Run script on any key press@bool@*/false/*@*/,
autoHideDelay: /*@autoHideDelay: Time in ms after which the toolbar will hide if not in use. 0 to disable@int@*/2000/*@*/,
highlightOnLoad: /*@highlightOnLoad: Highlight page automatically or just show toolbar@bool@*/true/*@*/,
toolbarHiddenOnLoad: /*@toolbarHiddenOnLoad: Toolbar is initially hidden@bool@*/false/*@*/,
toolbarAtBottom: /*@toolbarAtBottom: Show the toolbar at the bottom of the screen@bool@*/false/*@*/,
toolbarOverText: /*@toolbarOverText: Show the toolbar over text@bool@*/true/*@*/,
useStopwords: /*@useStopwords: Highlight words ignored by search engines. Only used for search engine highlights@bool@*/false/*@*/,
useCookies: /*@useCookies: Use cookies to store searches@bool@*/true/*@*/,
useDOMStorage: /*@useDOMStorage: Use HTML5 localStorage instead of cookies to store searches@bool@*/true/*@*/,
useWindowName: /*@useWindowName: Use window.name to store referrer information@bool@*/false/*@*/,
enableSearchHistory: /*@enableSearchHistory: Number of previous searches to save. 0 to disable@int@*/10/*@*/,
hideColour: /*@hideColour: Hide coloured highlights for search terms@bool@*/false/*@*/,
embedStyle: /*@embedStyle: Embed CSS via javascript. False if using external CSS@bool@*/true/*@*/,
checkDocChanges: /*@checkDocChanges: Re-highlights when scripts dynamically change document content@bool@*/true/*@*/,
hideHighlightHTML: /*@hideHighlightHTML: Removes highlights from Element.innerHTML and Element.outerHTML getters@bool@*/true/*@*/,
inputDelay: /*@inputDelay: Time in ms after which text typed into the toolbar will be used for highlighting. 0 to disable@int@*/300/*@*/,
...
|
