function addButtonWfs(id, isOn, src, titleOff, titleOn, x, y) { buttonWfs_id.push(id); buttonWfs_on.push(isOn); buttonWfs_src.push(src); buttonWfs_title_off.push(titleOff); buttonWfs_title_on.push(titleOn); buttonWfs_x.push(x); buttonWfs_y.push(y); } var buttonWfs_imgdir = "../img/button_gray/"; var buttonWfs_id = new Array(); var buttonWfs_on = new Array(); var buttonWfs_src = new Array(); var buttonWfs_title_off = new Array(); var buttonWfs_title_on = new Array(); var buttonWfs_x = new Array(); var buttonWfs_y = new Array(); addButtonWfs("rectangle", 0, "select_rectangle_off.png", "select by rectangle", "select by rectangle", 750, 10); addButtonWfs("polygon", 0, "select_polygon_off.png", "select by polygon", "select by polygon", 780, 10); addButtonWfs("point", 1, "select_point_off.png", "select by point", "select by point", 810, 10); addButtonWfs("extent", 0, "select_extent_off.png", "select by extent", "select by extent", 840, 10); addButtonWfs("dialogue", 0, "select_choose_off.png", "select", "select", 870, 10); var buttonWfs_toDigitize_on = 1; var buttonWfs_toDigitize_src = "../img/wfs_digitize.png";