julia

79251617 - REPL: refresh active region when setting the mark (#24896)

REPL: refresh active region when setting the mark (#24896) When the region is active (i.e. highlighted), and the mark is set, the region is changed, so the old region should be de-highlighed.