mirror of
https://github.com/enso-org/enso.git
synced 2024-12-25 03:43:41 +03:00
bcbdda5f70
Fixes #10185 Fixed two bugs from above issue: multiple arrows and being unable to change value from numeric input. The first was just lack of implementation; the second was caused by WidgetNumeric not handling its edit handler properly - the numeric input blur was finishing edit before click at entry could be interpreted. # Important Notes There is still one issue with drop-down filtering; will file a bug report soon. |
||
---|---|---|
.. | ||
gui2 | ||
ide-desktop |