Skip to content

🪲 adds indentation in pyeditor#104

Merged
MathisFederico merged 1 commit intomasterfrom
bug/indentation
Dec 8, 2021
Merged

🪲 adds indentation in pyeditor#104
MathisFederico merged 1 commit intomasterfrom
bug/indentation

Conversation

@AlexandreSajus
Copy link
Contributor

Sets autoIndentation to true in pyeditor

Pyeditor now saves the amount of indentation: going to a new line starts the line at the previous indentation level

Not perfect because pyeditor when seeing

def hello():

won't set indentation level to 1
but still better than when autoIndentation is False

@MathisFederico
Copy link
Member

Yeah we will need a custom python lexer later on anyway

@MathisFederico MathisFederico merged commit 32a20e1 into master Dec 8, 2021
@MathisFederico MathisFederico deleted the bug/indentation branch December 8, 2021 23:31
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