diff analyze_olp.py @ 1844:7a9e6fd94d61

Fix mouse selection of files. Keep keynav from selecting a non-existent widget
author Michael Pavone <pavone@retrodev.com>
date Mon, 22 Apr 2019 09:36:10 -0700
parents b1ad6339de4f
children
line wrap: on
line diff