File_dialog_input_right_margin = 0

	local w = App.width('settings')

	local w = App.width(name)

	styled_button('settings', x, y, callback)
	return x

	styled_button(name, x, y, callback)
	return x-10

		if App.width(s) < Safe_width-Menu_left-15-15 then

		if App.width(s) < File_dialog_input_right_margin-15 then

	draw_file_dialog_input()

	-- border

	-- ok/cancel buttons (but with wider names)
	local r = Safe_width-10
	r = right_justified_button('cancel', r, Menu_top+5+3, function()
		reset_file_dialog_state()
	end)
	r = right_justified_button('submit', r, Menu_top+5+3, function()
		File_dialog_callback(File_dialog_input_text)
		reset_file_dialog_state()
	end)
	File_dialog_input_right_margin = r
	-- input
	draw_file_dialog_input()
	-- filtered files