-
Aron Helser authored
If the user hid a selected block, it was still visible until a selection change. Mark the selection modified when visibility changes, then UpdateDisplayAttributesFromSelection() properly hides the selected block.
7d74734e
If the user hid a selected block, it was still visible until a selection change. Mark the selection modified when visibility changes, then UpdateDisplayAttributesFromSelection() properly hides the selected block.