Redraw extra selections when toggling dark mode
Redraw extra selections when toggling dark mode

Ensures that the background of the current line changes colour when toggling dark mode

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