Fixed highlighing bug. (all highlighting went to end of line)
Fixed highlighing bug. (all highlighting went to end of line)

MiniZinc/MiniZincIDE,MiniZinc/MiniZincIDE,MiniZinc/MiniZincIDE,MiniZinc/MiniZincIDE