Fix bug #13723 with redrawing vertical border in GUI sessions.