- Bring back the option to disable tooltips.
- Fix a crash at startup on Linux when using some window managers that don't set the SESSION_MANAGER environment variable.
- Bring back effort tooltips.
- Fix positioning of balloon tips when moving the window from one display to another. more...