void set_arrow_brightness(ARROW_BRIGHTNESS x) {arrow_brightness_=x; update_arrow_style();}
void set_arrow_texture(ARROW_TEXTURE x) {arrow_texture_=x; update_arrow_style();}
void move::redraw() { resources::screen->invalidate(get_source_hex()); resources::screen->invalidate(get_dest_hex()); update_arrow_style(); }