Kaz Wesley 904ffe1dd6 Support empty and non-numeric default values in number picker (#10251) ... Numeric default (unchanged): <img width="400" alt="Screenshot 2024-06-11 at 10 19 21" src="https://github.com/enso-org/enso/assets/1047859/24549125-f7bd-4017-b04f-b9e8715203b1"> Non-numeric default: https://github.com/enso-org/enso/assets/1047859/bfe812e2-4d1c-477b-9500-f384fa499890 No default: <img width="400" alt="Screenshot 2024-06-11 at 10 19 36" src="https://github.com/enso-org/enso/assets/1047859/e99dcb0f-f146-4005-b4e5-79223fbe7744"> Closes #9449.		2024-06-13 17:43:35 +00:00
..
gui2	Support empty and non-numeric default values in number picker (#10251)	2024-06-13 17:43:35 +00:00
ide-desktop	Dashboard hotfixes (#10271)	2024-06-13 16:57:50 +00:00