Now double-clicking on a file opens it with the default program, if the file is available.
Authored by: fsenore 2018-09-06
Parent: [r435]
Child: [r437]