-
Michael Stahl yazdı
Deselect everything before selecting a style. Fixes the problem that travelling around with the cursor leads to accumulating multiple selection of every style the cursor runs across. (regression from 439ac459) Change-Id: I5d51122a719a160c6428e196b32264a90f984579
66f8bbc1