sct-coal fixed; highlighting trailing spaces made selective by extention
Mark plugin downgraded; find_srcs ttcn* search fixed