instant selection color updates
work on isabelle docmodel