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.

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

「空行」の命令は必要？ #942

Closed
kmuto opened this issue Feb 12, 2018 · 2 comments
Closed

「空行」の命令は必要？ #942

kmuto opened this issue Feb 12, 2018 · 2 comments

Comments

@kmuto
Copy link
Owner

kmuto commented Feb 12, 2018

全角スペースを入れるとかいろいろBadKnowhowで対処していることが多い気がする。

単一ブロック命令(//noindentなどと同様)として提供すべきなんだろうか。

HTMLの場合、<p/>だけだと空行にならなかった記憶。<p><br/></p>にするのはリーダ規則違反かも。
LaTeXの場合は\baselineskipにする?
@kmuto
Copy link
Owner Author

kmuto commented Feb 25, 2018

//linebreak があったのでこれをまじめに実装することにした（今はたぶん機能しない）

@kmuto kmuto mentioned this issue Feb 25, 2018
Merged
@kmuto
Copy link
Owner Author

kmuto commented Feb 25, 2018

//blankline で導入

@kmuto kmuto closed this as completed Feb 25, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@kmuto