Changes for edoc/resources/script/function.js - Githubissues

dariok / wdbplus

WDB-eXist

MIT License

9 stars 7 forks source link

Changes for edoc/resources/script/function.js #541

Closed WunschK closed 1 year ago

WunschK commented 1 year ago

update showDataFloating
add showInfoTab
update highlightSearch

the stuff was missing from E1/edoc/resources/script/function.js