Shift selection in Layout and Notation Options

When you try to select multiple layouts or flows in the right list in Layout or Notation Options—respectively—using Shift + click, if you move just a bit your mouse after the click, the selection gets lost. I suppose this happens to allow the multiple selection just by dragging the mouse over but it seems weird.


shift-selection.gif