util/__init__.py
author Surkov Sergey <surkovsv93@gmail.com>
Tue, 10 Jan 2017 13:45:56 +0300
changeset 1622 a0c7a6cb1690
parent 742 41a4a560406c
permissions -rw-r--r--
fix highlight of search result in Search Result Panel
Remove previous highlight, after next search result clicked.