Dave Page c548eac5ef Append the file suffix to filenames when needed in the File Create dialogue. Fixes #4069		2019-03-14 15:48:21 +00:00
..
create_dialogue.js	Append the file suffix to filenames when needed in the File Create dialogue. Fixes #4069	2019-03-14 15:48:21 +00:00
file_manager.js	Update copyright notices for 2019	2019-01-02 15:54:12 +05:30
helpers.js	Update copyright notices for 2019	2019-01-02 15:54:12 +05:30
select_dialogue.js	Update all Python and JS dependencies. Fixes #4019	2019-03-14 15:11:16 +00:00
utility.js	Append the file suffix to filenames when needed in the File Create dialogue. Fixes #4069	2019-03-14 15:48:21 +00:00