Michael Mauderer 94666e6727 Dropdown widget improvements. (#9186) ... Closes #8995 [Peek 2024-03-01 16-06.webm](https://github.com/enso-org/enso/assets/1428930/3f62aad8-8426-4f8f-b49e-57769b22bfb4)		2024-03-04 12:54:38 +00:00
..
gui	rename database Table to DB_Table (#9067)	2024-02-19 17:31:58 +00:00
gui2	Dropdown widget improvements. (#9186)	2024-03-04 12:54:38 +00:00
ide-desktop	Implementing reading Data Links (#9215)	2024-03-01 15:33:21 +00:00