forked from qt-creator/qt-creator
Explicit polling is still available and accessible as fall back in the gui, but is at least in theory not necessary anymore. Change-Id: Ifd184fb88bdbf5de53f5776e2c94a03f8ad44a06 Reviewed-by: Christian Stenger <christian.stenger@qt.io>