push_color

allows you to edit any ui element color

this function must only be called above begin_window

gui.push_color(gui_color.text, color.new(255, 0, 0, 255))

argument types: (gui_color, color)