on.code_submit = function(editor)
	if not editor.load_time_error then
		Manifest_navigator.reload = true
	end
	-- update definition backgrounds of failing tests
	for name,node in pairs(Definitions) do
		-- ignore temporary definitions with numeric indices; they haven't been saved yet
		if type(name) == 'string' and starts_with(name, 'test_') then
			if Client_app_test_failures[name] then
				node.bg = Failing_test_definition_background_color
				node.editor.load_time_error = Client_app_test_failures[name]
			else
				node.bg = Test_definition_background_color
				node.editor.load_time_error = nil
			end
		end
	end
	A()
end