Would it be possible to make the <Set Definition Files> button in the library browser customizable? I am not exactly sure, but I think currently this searches
recursively all the directories in the templates directory. This takes a bit of time, but more importantly it finds every def file in the problem libraries. I use this button to distribute course specific def files created by other instructors. So the def files found in the whole NPL are distracting. Ideally I'd like change the starting directory in global.conf to templates/def that points to the course specific directory containing def files.