better switch between keyboard and mouse
change default visible theorem for now
highlight current path