optional gui element for eduspace