controls/SearchResultPanel.py
changeset 1510 7272baadd7f6
parent 899 64aa66d481c5
child 1556 32e9d0ef30dc