What's Changed
- Fix #308: Dolphin is not High DPI aware
- Fix #1275: Tree views paint incorrectly when tools are added to Idea Space
- Fix #1279: double triggering of tab change event from sliding card tray by @blairmcg in #1281
Full Changelog: 7.1.30...7.2.0
