Skip to content

Remove extra line breaks #277

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

Merged
merged 2 commits into from
Jun 13, 2022
Merged

Remove extra line breaks #277

merged 2 commits into from
Jun 13, 2022

Conversation

rillig
Copy link
Contributor

@rillig rillig commented Jun 12, 2022

No description provided.

@connor4312
Copy link
Member

Lines breaks are intentional in these comments

@connor4312 connor4312 closed this Jun 13, 2022
@rillig
Copy link
Contributor Author

rillig commented Jun 13, 2022

Lines breaks are intentional in these comments

Oh, that comes as a surprise to me. Could you enlighten me what the below line break means?

is about to start and
provides additional information for

To me, this line break looks completely arbitrary, and in the rendered document it is not only a line break but instead a paragraph break, which makes it look even stranger.

@connor4312
Copy link
Member

actually, nevermind, reading thought these do look like they're paragraph breaks. I thought there was manual wrapping that would be used in code comments with single line breaks being ignored in the markdown rendering, but this is not the case.

@connor4312 connor4312 reopened this Jun 13, 2022
@connor4312
Copy link
Member

I think you will need to update the PR though since it conflicts with the ones we merged from you earlier 🙂

…eaks

# Conflicts:
#	debugAdapterProtocol.json
@connor4312
Copy link
Member

Thanks!

@connor4312 connor4312 merged commit 2dec6b8 into microsoft:gh-pages Jun 13, 2022
@connor4312 connor4312 self-assigned this Jun 13, 2022
@connor4312 connor4312 added this to the June 2022 milestone Jun 13, 2022
@rillig rillig deleted the rm-extra-linebreaks branch June 13, 2022 18:30
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.

3 participants