Active_button = nil
-- When a button is pressed:
--   {name=..., expire=...}

Highlighted_button_color = {r=1, g=1, b=1}

			App.color(Normal_color)

			if Active_button and Active_button.name == name and Active_button.expire > Current_time then
				App.color(Highlighted_button_color)
			else
				App.color(Normal_color)
			end

		onpress1 = onpress1,

		onpress1 = function()
			onpress1()
			Active_button = {
				name=name,
				expire=Current_time+0.1,
			}
		end,

end

end

	-- some hysteresis right after a button has been pressed
	if Active_button then return end

	if Active_button and Active_button.expire <= Current_time then
		Active_button = nil
	end

end

end