Skip to content
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.

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

Editor/viewer: Side margin improvements, closes #2111 #2118

Merged
merged 2 commits into from
Oct 7, 2023

Conversation

guanglinn
Copy link
Contributor

@guanglinn guanglinn commented Oct 3, 2023

Adjust margin or padding for editor and viewer.

@guanglinn
Copy link
Contributor Author

guanglinn commented Oct 3, 2023

The display area is expanded now.

View mode

Before

Screenshot_20231003_133243_net.gsantner.markor_test.jpg

After

Screenshot_20231007_085956_net.gsantner.markor_test.jpg

Edit mode

Before

Screenshot_20231003_142313_net.gsantner.markor_test.jpg

After

Screenshot_20231003_142349_net.gsantner.markor_test.jpg

@harshad1
Copy link
Collaborator

harshad1 commented Oct 6, 2023

Does this interfere with grabbing the scrollbar for drag scroll on the right side?

Otherwise I like this change.

@guanglinn
Copy link
Contributor Author

The scrollbar is not interfered.

@gsantner gsantner changed the title Margin improvements Editor/viewer: Side margin improvements, closes #2111 Oct 7, 2023
@gsantner gsantner added this to the Markor v2.11 milestone Oct 7, 2023
<dimen name="activity_horizontal_margin">16dp</dimen>
<dimen name="activity_vertical_margin">16dp</dimen>
<dimen name="activity_horizontal_margin">12dp</dimen>
<dimen name="activity_vertical_margin">12dp</dimen>
Copy link
Owner

Choose a reason for hiding this comment

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

This affects everything. All activities. Not just editor/viewer.

But let's try. It can be reverted if it is bad.

Copy link
Contributor Author

@guanglinn guanglinn Oct 8, 2023

Choose a reason for hiding this comment

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

I may have set the margins too small. 😬

@gsantner gsantner merged commit def9491 into gsantner:master Oct 7, 2023
1 check passed
@guanglinn
Copy link
Contributor Author

Oh, Yes. We could take a look at the experience feedback. @gsantner

@gsantner
Copy link
Owner

gsantner commented Oct 8, 2023

Jup!

Thank you very much for your time, it is merged now! 🎉

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

Successfully merging this pull request may close these issues.

3 participants