beremiz

fix highlight of search result in Search Result Panel

2017-01-10, Surkov Sergey
a0c7a6cb1690
fix highlight of search result in Search Result Panel
Remove previous highlight, after next search result clicked.
.. Beremiz documentation master file
Beremiz's documentation
=======================
Contents:
.. toctree::
:maxdepth: 2
overview
manual/index
standards