Zheng, Lei 49b6944a20 Gui: Selection API changes ...

Mostly about API changes to SelectionSingleton. Also include related
changes to SelectionObject, SelectionChange, and SelectionView.

Please check out the summary of changes [here](https://git.io/fjimC)

2019-08-17 14:52:10 +02:00

24 KiB

Raw Blame History

View Raw