Fixed bug 212519: [hovering] hide rich hover preference for M4
1 file changed