new_button("top_justify.png", editpanel_up, editpanel_hi, editpanel_dn, "top_justify");
new_button("undo.png", editpanel_up, editpanel_hi, editpanel_dn, "undo");
new_button("wrench.png", editpanel_up, editpanel_hi, editpanel_dn, "wrench");
new_button("top_justify.png", editpanel_up, editpanel_hi, editpanel_dn, "top_justify");
new_button("undo.png", editpanel_up, editpanel_hi, editpanel_dn, "undo");
new_button("wrench.png", editpanel_up, editpanel_hi, editpanel_dn, "wrench");