I would need to add another option to turn that off individually. Is the option you really want an overarching option to disable all mouse-over popups? That would include symbol info, symbol coloring, symbol highlighting, parenthesis matching, symbol values when debugging, explanations for various stream markers, explanations for left margin icons, minimap tooltips, document overview tooltips, you just want to shut them all down?