Murtuza Zabuawala eae6f05b7c Allow files to be opened by double clicking on them. Fixes #2810

2017-12-18 09:48:14 +00:00

..

file_manager.js

Prevent the user pressing the select button in the file manager when it is supposed to be disabled. Fixes #2923

2017-12-05 13:43:02 +09:00

utility.js

Allow files to be opened by double clicking on them. Fixes #2810

2017-12-18 09:48:14 +00:00