change checkbox handling
change mode+highlight handling in gui