Scrollable PopupMenu and Bugfixes
Pre-release
Pre-release
github-actions
released this
26 Jan 09:37
·
2304 commits
to master
since this release
This release incorporates the changes by @falko17 from pull request #692.
Builds for Windows and Linux are available below.
Details
This makes the PopupMenu scrollable. Specifically, when it reaches a certain size (40% of screen height), it won't grow larger than that, and will display a scrollbar with which the menu can be scrolled (in addition to using the mouse wheel).
Additional changes
- Since the popup menu now has bounded height, the TreeView has been changed to allow the user to sort the entries by all existing numeric and string attributes, instead of just the pre-selected ones that were present before.
- Dashboard tests are now allowed to fail when run in context of the CI. Local test runs are not impacted by this.
- An issue has been fixed in which the TreeView did not re-open properly by pressing Tab if it had been closed by its close icon via the mouse.
- A bug has been fixed in which only the TreeView for one city has been opened by pressing Tab. Now, upon pressing Tab, the TreeView for every active city is added to the window as a tab.
Closes #679.