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

Tab key should insert 4 spaces #450

Closed
dpsanders opened this issue Sep 18, 2020 · 2 comments
Closed

Tab key should insert 4 spaces #450

dpsanders opened this issue Sep 18, 2020 · 2 comments
Labels
one day Closed because we won't work on it soon, will be opened again later.

Comments

@dpsanders
Copy link

Using <TAB> in Markdown breaks indentation.
It should just insert 4 spaces.
@fonsp
Copy link
Owner

fonsp commented Sep 18, 2020

These are bugs in Julia that can be fixed! I have already fixed footnotes and admonitions:
JuliaLang/julia#37347

Which other markdown elements are broken?

@fonsp fonsp added the one day Closed because we won't work on it soon, will be opened again later. label Sep 24, 2020
@fonsp fonsp closed this as completed Sep 24, 2020
@roflmaostc
Copy link

Hm, strangely I encountered the same under Julia 1.6.1 and Pluto v0.14.8.
Pressing tab breaks markdown
See here

That PR is in 1.6 included, isn't it?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
one day Closed because we won't work on it soon, will be opened again later.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@dpsanders @fonsp @roflmaostc