; ; options.ini ; options menu ; [menu] background=banner [label] text=Options Menu [button] text=Toggle grid command=toggle r_grid [button] text=Toggle stats command=toggle draw_stats [button] text=Toggle wireframe command=toggle r_wireframe [button] text=Back command=menu hide