Skip to content

Update master branch with latest from development#183

Merged
jrmartin merged 53 commits into
masterfrom
development
Aug 23, 2023
Merged

Update master branch with latest from development#183
jrmartin merged 53 commits into
masterfrom
development

Conversation

@jrmartin
Copy link
Copy Markdown
Collaborator

No description provided.

jrmartin and others added 23 commits March 20, 2023 07:42
#177 Focus on tabs when switching, #176 fix overlapping links. #178 Fix splinter bug
Feature/173 - Improve jumping around when selecting nodes and toggling layouts
@jrmartin jrmartin merged commit 0125d48 into master Aug 23, 2023
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