A lightweight programming environment for desktop and mobile devices
refresh_directory_contents = function()
	Directory_contents = {}
	local filenames = App.files(Directory)
	for _,filename in ipairs(filenames) do
		local file_info = App.file_info(Directory..filename)
		if file_info.type == 'file' then
			table.insert(Directory_contents, filename)
		end
	end
	table.sort(Directory_contents)
end