48059cc32968e008b809571ccb80ffdd5f876ce6
previously this wasnt needed because doing an undo push would flush the selection.
Description
No description provided
Languages
C++
78%
Python
14.9%
C
2.9%
GLSL
1.9%
CMake
1.2%
Other
0.9%