Fix #9670: Custom editor plugin activation called 3 times when double click quickly#9671

Merged

tsmaeder merged 1 commit intoeclipse-theia:masterfrom EstherPerelman:Fix-#9670

Jul 8, 2021

+14-6

Commits on Jul 8, 2021

Fix eclipse-theia#9670 : Custom editor plugin activation called 3 times when double click quickly
EstherPerelman
committed