Erik Martin-Dorel

Hi @yogin25 @robgev, You may also be interested by the following key-binding, which provides a workaround for your issue: ``` runs the command electric-indent-just-newline, which is an interactive compiled Lisp...

Actually I just realized that `` is not a standard key-binding, I had added this in my `init.el`: ```elisp (add-hook 'tuareg-mode-hook (lambda () (local-set-key (kbd "") #'electric-indent-just-newline))) ``` **EDIT:** on...

@yogin25 To complement my previous post, it seems that my `` suggestion was not sufficient, as when one types the closing parenthesis, the comment is forcibly indented. However typing `〈S-return〉...

Dear @akosyakov, Sorry but I'm not a VS code user 😅 I only use Gitpod's Browser Terminal (currently in beta IIUC) as a Gitpod IDE. Is this confirmExit option available...

So I believe you could reopen this issue :)

Dear @akosyakov, do you know: 1. what could be the ETA for this improvement? (which will be important for Browser Terminal users IMHO) 2. did you already set a date...

Dear Gitpod maintainers, > 2. did you already set a date for ending the Beta/releasing the Browser Terminal editor? I guess you already replied to this one, thanks for the...

Thanks @loujaybee for adding this label :) — Actually I noticed the issue with emacs, so maybe it could be tagged `editor: emacs` as well? Thanks for your time!

Dear @loujaybee, Do you think this would help if I'd try to open a PR to implement this small (but very useful IMHO) enhancement? Of course, I might need a...

Hi @AltGr, thanks a lot for your comment! Indeed, the overall aim is to have a Dockerised server with minimal downtime. I agree that this may be possible to implement...