Skip to content

Small UX adjustment to selected node#926

Merged
tturocy merged 1 commit into
masterfrom
gui_selected
Jun 5, 2026
Merged

Small UX adjustment to selected node#926
tturocy merged 1 commit into
masterfrom
gui_selected

Conversation

@tturocy
Copy link
Copy Markdown
Member

@tturocy tturocy commented Jun 5, 2026

This makes a small adjustment to highlight the currently-selected node by drawing a ring around it, rather than by changing its size. While not perfect, this will be much more visible than the size-changing that was previously being done.

This makes a small adjustment to highlight the currently-selected node by drawing
a ring around it, rather than by changing its size.  While not perfect, this will be
much more visible than the size-changing that was previously being done.
@tturocy tturocy merged commit 9d23a8a into master Jun 5, 2026
26 checks passed
@tturocy tturocy deleted the gui_selected branch June 5, 2026 13:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant