controls/SearchResultPanel.py
changeset 3800 a5a6ee271e65
parent 3789 8def429216ca