let next_bt = { x0 = gb_x0 + gb_width + gr_unit; y0 = gb_y0; width = 2 * gr_unit; height = gr_unit; color = Graphics.rgb 115 115 115; label = "next>" }