SearchResultPanel.py
changeset 759 264637370f8f
parent 753 8a70e85f7e12