A lightweight programming environment for desktop and mobile devices
next_pane_button = function(r)
	button(Global_state, 'right', {x=r-Side_button_width, y=Menu_bottom, w=Side_button_width, h=App.screen.height, bg={r=0.5, g=0.5, b=0.5, a=0.2},
		icon = function(p)
			App.color{r=0.4,g=0.4,b=0.4}
			love.graphics.polygon('fill', r-Side_button_width+5, App.screen.height/2-10, r-Side_button_width+5, App.screen.height/2+10,  r-5, App.screen.height/2)
		end,
		onpress1 = press_next_pane_button,
		tooltip = function(x,y)
			local w = App.width('ctrl+right')
			show_tooltip(x-w-10,y+20, not Is_mobile and Show_code and 'ctrl+right')
		end,
	})
end