Skip to content

Allow no option viewing#169

Merged
Chris7 merged 3 commits intomainfrom
empty-graph-view
Apr 9, 2025
Merged

Allow no option viewing#169
Chris7 merged 3 commits intomainfrom
empty-graph-view

Conversation

@Chris7
Copy link
Contributor

@Chris7 Chris7 commented Apr 8, 2025

No description provided.

@Chris7 Chris7 force-pushed the empty-graph-view branch from b4d4ee3 to 674551e Compare April 9, 2025 13:15
@bobvh
Copy link
Contributor

bobvh commented Apr 9, 2025

I tested it out, it didn't break anything so technically good to go. The only suggestion I'd make is having the focus selection start on the sidebar (explorer) if no graph is loaded. That can be part of a later PR too.

@Chris7
Copy link
Contributor Author

Chris7 commented Apr 9, 2025

sure, fixed focus.

@Chris7 Chris7 merged commit bde522c into main Apr 9, 2025
1 check passed
@Chris7 Chris7 deleted the empty-graph-view branch April 9, 2025 23:07
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