draw_menu_bar = function()
	if App.fake_key_press then return end  -- disable in tests
	if love.graphics.getCanvas() then return end  -- disable during zoom animations
	App.color(Menu_background_color)
	love.graphics.rectangle('fill', 0,0, App.screen.width, Menu_bar_height)
	App.color(Menu_border_color)
	love.graphics.rectangle('line', 0,0, App.screen.width, Menu_bar_height)
	App.color(Menu_command_color)
	Menu_cursor = 5
	if Manifest_navigator.show then
		draw_manifest_navigator()
		return
	end
	if Zoomed_out == nil then
		add_hotkey_to_menu('ctrl+g: zoom out')
	else
		add_hotkey_to_menu('ctrl+g: undo zoom out')
	end
	add_hotkey_to_menu('ctrl+l ctrl+n ctrl+d: load/new/delete definition')
	add_hotkey_to_menu('ctrl+s: search all definitions')
	add_hotkey_to_menu('ctrl+f: find in definition')
	add_hotkey_to_menu('ctrl+z ctrl+y: undo/redo')
	add_hotkey_to_menu('ctrl+x ctrl+c ctrl+v: cut/copy/paste')
	add_hotkey_to_menu('ctrl+= ctrl+- ctrl+0: zoom')
end