diff build_release @ 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 2f3600e204b0
children 93960907807a
line wrap: on
line diff