Skip to content

File tree mostly covered by comment pane by default#3758

Merged
alexr00 merged 1 commit into
mainfrom
alexr00/issue3227
Jul 25, 2022
Merged

File tree mostly covered by comment pane by default#3758
alexr00 merged 1 commit into
mainfrom
alexr00/issue3227

Conversation

@alexr00
Copy link
Copy Markdown
Member

@alexr00 alexr00 commented Jul 25, 2022

Use new view size API proposal to set view size weights.
Fixes #3227

Use new view size API proposal to set view size weights.
Fixes #3227
@alexr00 alexr00 enabled auto-merge (squash) July 25, 2022 10:58
@github-actions github-actions Bot added this to the July 2022 milestone Jul 25, 2022
@alexr00 alexr00 merged commit 5e72a77 into main Jul 25, 2022
@alexr00 alexr00 deleted the alexr00/issue3227 branch July 25, 2022 11:00
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.

File tree mostly covered by comment pane by default

2 participants