detailed agda2-info-action
now syntax-highlighting is activated if only the code passed