diff icons/regions.png @ 322:0fbfc9ade49d

* Pull out the widgetry part of FileFinder into widgets/InteractiveFileFinder (essentially this is just to avoid a dependency from data/fileio to widgets/ which is problematic for non-gui programs)
author Chris Cannam
date Fri, 27 Mar 2009 16:25:52 +0000
parents 3c4aaa8f8418
children
line wrap: on
line diff