Skip to content

Feature/gui quality of life#58

Merged
Schmluk merged 5 commits intomainfrom
feature/gui_quality_of_life
Sep 11, 2025
Merged

Feature/gui quality of life#58
Schmluk merged 5 commits intomainfrom
feature/gui_quality_of_life

Conversation

@Schmluk
Copy link
Collaborator

@Schmluk Schmluk commented Sep 11, 2025

Few small tweaks to make the GUI nicer and more useful for our usecases:

  • Expose setting host and port
  • Ctrl+Enter to send changes
  • Nicer handling for read-only Dynamic Configs
  • Servers are now actually ROS2 nodes as intended

Copy link
Collaborator

@nathanhhughes nathanhhughes left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, thanks!

@Schmluk Schmluk merged commit 4e65041 into main Sep 11, 2025
1 check passed
@Schmluk Schmluk deleted the feature/gui_quality_of_life branch September 11, 2025 16:27
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.

2 participants