gm10 651214aa18 Fix tooltips and make them optional, remove category tooltips in apps		2019-02-23 19:39:54 +01:00
..
mintMenu	Fix tooltips and make them optional, remove category tooltips in apps	2019-02-23 19:39:54 +01:00