forked from qt-creator/qt-creator
It's too expensive to have it unconditionally on in some settings. Giving the user the possibility to switch it off seems ok. Change-Id: I7bdcb0ce919f0dca83a4563ac83958efdeb251e7 Reviewed-by: hjk <qthjk@ovi.com>