New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

fix: set the margin of the panel when setting anchor gap #66

Merged

wash2 merged 1 commit into master_jammy from fix-panel_jammy

Sep 5, 2023

Contributor

wash2 commented Sep 5, 2023

I'm not sure what would be the best default here, but I've gone with 4 for now.


          fix: set the margin of the panel when setting anchor gap

3670be9

mmstick approved these changes

View reviewed changes

wash2 merged commit a4c567a into master_jammy

3 checks passed

wash2 deleted the fix-panel_jammy branch

September 5, 2023 23:02

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet