Kaz Wesley 0ff2ed6cc3 Add divider to numeric slider (#10268) ... https://github.com/enso-org/enso/assets/1047859/5a9ba761-dfec-4ec7-99ce-3088556e63e4 Closes #10234. # Important Notes - Tested in combination with #10267, though they can be merged separately.		2024-06-13 13:03:43 +00:00
..
gui2	Add divider to numeric slider (#10268)	2024-06-13 13:03:43 +00:00
ide-desktop	Update dashboard to design v122 (Part 1) (#9896)	2024-06-12 10:20:07 +00:00