+ proxy_p_toggle = new_image_set(5,
+ "proxy_p_up.png",
+ "proxy_p_hi.png",
+ "proxy_p_chkd.png",
+ "proxy_p_down.png",
+ "proxy_p_chkdhi.png");
+
+ proxy_s_toggle = new_image_set(5,
+ "proxy_s_up.png",
+ "proxy_s_hi.png",
+ "proxy_s_chkd.png",
+ "proxy_s_down.png",
+ "proxy_s_chkdhi.png");
+