SearchResultPanel.py
changeset 761 996515c4b394
parent 753 8a70e85f7e12