Menu

Commit [r1609]  Maximize  Restore  History

BugFix selection manager: do not update selection if deselect source is

ineffective.

brunoherbelin 2018-02-12

changed /trunk/src/SelectionManager.cpp
/trunk/src/SelectionManager.cpp Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB