Tooltip

Enable tooltip on editors: if enabled, small information boxes will appear when user places the cursor over a symbol in the editors.