-
Christophe Geuzaine authored
by default, disable tooltip when hovering over views: this seems to pose problems on some Linux machines (cf. Jon)
980c1541
by default, disable tooltip when hovering over views: this seems to pose problems on some Linux machines (cf. Jon)