controls/SearchResultPanel.py
changeset 4065 d876242447da
parent 3971 f1c673cddc1f