void function ( MouseEvent arg0 ) { if ( ! lastRegion . contains ( arg0 . getPoint ( ) ) ) { menu . setVisible ( false ) ; } }
allows the hovermenu to change based on workspace events concode_field_sep Rectangle lastRegion concode_elem_sep HoverMenu menu concode_field_sep void addTarget concode_elem_sep void showMenu