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

Fix comment indentation #1430

Merged
merged 1 commit into from
Jun 6, 2024
Merged

Fix comment indentation #1430

merged 1 commit into from
Jun 6, 2024

Conversation

hjiangsu
Copy link
Member

@hjiangsu hjiangsu commented Jun 5, 2024

Pull Request Description

Review without whitespace

This PR fixes the comment indentation issue mentioned in #1413. I double checked this behaviour with thin/thick comment indicator styles, and colourful/monochrome colours.

Issue Being Fixed

Issue Number: #1413

Screenshots / Recordings

Screen.Recording.2024-06-05.at.8.15.36.AM.mov

Checklist

  • Did you update CHANGELOG.md?
  • Did you use localized strings where applicable?
  • Did you add semanticLabels where applicable for accessibility?

@micahmo
Copy link
Member

micahmo commented Jun 5, 2024

Hmm, now it looks like the indicator bar is directly against the side. I think there should be at least one bar's width of space.

If you look at the screenshot from the issue, the deferred comment indentation looks right (second arrow), but the actual comment indentation looks like it's twice as much (first arrow).

335762851-3be61961-b3ff-4951-99f9-cdcd1e838e02

Does that make any sense? 😆

@hjiangsu
Copy link
Member Author

hjiangsu commented Jun 5, 2024

Oops, I think the recording cropped out a bit of the side which is why it looks like that. Here's another recording which shows the padding amount! Feel free to run it yourself to see if the padding seems to be okay!

Screen.Recording.2024-06-05.at.9.37.44.AM.mov

@micahmo
Copy link
Member

micahmo commented Jun 5, 2024

Oh yeah, much better 😆 Sorry about that!

@hjiangsu hjiangsu merged commit 65c3b81 into develop Jun 6, 2024
1 check passed
@hjiangsu hjiangsu deleted the fix/comment-indentation branch June 6, 2024 01:26
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