enso-org/enso - enso - gitea: Gitea Service

enso-org/enso

Fork 0

mirror of https://github.com/enso-org/enso.git synced 2024-12-23 00:11:45 +03:00

Commit Graph

Author	SHA1	Message	Date
Adam Obuchowicz	1a8b82e237	Another set of small fixes (#8946 ) * `Enter` key accepts the edit in Numeric and Text input * Newly added node are selected * Placement of new nodes takes opened visualizations into account. [Screencast from 2024-02-02 13-02-26.webm](https://github.com/enso-org/enso/assets/3919101/0f328824-1cbc-4b07-988e-dbf17b94dc2f)	2024-02-02 18:11:28 +01:00
Adam Obuchowicz	b28b743ae4	Set of GUI2 widgets fixes (#8749 ) Implements first two points of #8745 1. The fix for drop-down was simple, just stop click propagation 2. The fix for connections was much more complicated. It turned out, that it's about keeping track of hovered ports; when picking an option in WidgetSelection makes the drop-down disappear - but that won't emit `pointerleave` event, so the port was still deemed hovered. Changed the mechanism for tracking hovered port to more "centralized" one.	2024-01-15 08:12:34 +00:00
somebody1234	927df167d7	Set output evaluation context for a single node (#8440 ) - Closes #8072 - Implement handlers for the corresponding buttons on the circular menu - Add missing icons and styles - Add functionality to match and extract ASTs # Important Notes None	2023-12-15 10:29:15 +00:00

Author

SHA1

Message

Date

Adam Obuchowicz

1a8b82e237

Another set of small fixes (#8946 )

* `Enter` key accepts the edit in Numeric and Text input
* Newly added node are selected
* Placement of new nodes takes opened visualizations into account.

[Screencast from 2024-02-02 13-02-26.webm](https://github.com/enso-org/enso/assets/3919101/0f328824-1cbc-4b07-988e-dbf17b94dc2f)

2024-02-02 18:11:28 +01:00

Adam Obuchowicz

b28b743ae4

Set of GUI2 widgets fixes (#8749 )

Implements first two points of #8745

1. The fix for drop-down was simple, just stop click propagation
2. The fix for connections was much more complicated. It turned out, that it's about keeping track of hovered ports; when picking an option in WidgetSelection makes the drop-down disappear - but that won't emit `pointerleave` event, so the port was still deemed hovered. Changed the mechanism for tracking hovered port to more "centralized" one.

2024-01-15 08:12:34 +00:00

somebody1234

927df167d7

Set output evaluation context for a single node (#8440 )

- Closes #8072
- Implement handlers for the corresponding buttons on the circular menu
- Add missing icons and styles
- Add functionality to match and extract ASTs

# Important Notes
None

2023-12-15 10:29:15 +00:00

3 Commits