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

Edit mode #122

Open
damendieta opened this issue Aug 23, 2018 · 3 comments
Open

Edit mode #122

damendieta opened this issue Aug 23, 2018 · 3 comments

Comments

@damendieta
Copy link

Hi, I tried to use edit mode with .e but I wasn't able to use it right.

Could you please document this mode a little in the readme.

Thanks.

@internetimagery
Copy link

I would love an explanation of this too.

When I enable the file edition mode, I can modify the text in the source window. However no changes are ever made to the actual source files; The changes vanish if/when I disable the editing mode; and stepping through the code reveals the modified source is now out of sync with the original.

What is the purpose of this feature? I was hoping it was a way to temporally rewrite the file for that runtime, which would be an amazing feature. But I"m unsure.

@paradoxxxzero
Copy link
Member

paradoxxxzero commented Dec 18, 2018

I think [ctrl] + [s] saves the file.
Can you confirm? I'll update the help in this case.

As for why it is implemented: quick edit of files around an exception if you have no editor open and sadly no it does not patch the file in the runtime (it should be partly possible to reload some modules after edit but honestly it does work in trivial cases only).

@internetimagery
Copy link

Ah so it does, yes. Nice. :)

I suppose it'd be nice if there was a prompt when turning off edit mode, if there are unsaved changes.

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

No branches or pull requests

3 participants