Erik Martin-Dorel

Hi @monnier ! thanks. Actually I don't disagree with what you propose… but in thise case, could you please push some commit in your PR that implements this suggestion of...

Dear Gitpod maintainers, Thanks to @loujaybee's advice (https://github.com/gitpod-io/gitpod/issues/2419#issuecomment-1569754649) I was able to test your brand new browser-based Terminal (version 1.0.0 "latest"); here is some feedback/issues reports. in this first session...

Hi all, good news: I performed new tests to follow-up my [experience report](https://github.com/gitpod-io/gitpod/issues/17724#issuecomment-1597862258), and got a pretty good workaround (that might be mentioned in Gitpod documentation, maybe :) ## For...

> The `C-w` shortcut can't be disabled On second thought, I just realize that it's easy to fully fix this aspect, by adding a [beforeunload](https://developer.mozilla.org/en-US/docs/Web/API/Window/beforeunload_event) handler in Gitpod's js code....

Another issue/wishlist with the Browser Terminal: The shortcut `C-t` (Ctrl+T, useful in Emacs as well as in a shell) currently is not caught by Gitpod. Currently, it always opens a...

Thanks a lot, @hhugo ! Your approach looks better indeed :) I'll test this as soon as possible in learn-ocaml. Just asking in the meantime: do you believe the `prompt_before_unload`...

@Itrekr Yes, in this case maybe "Orgzly Reboot"? (like https://github.com/keepassx → https://github.com/keepassxreboot)

> @pPomCo in order to help reviewing (but again, I can't review myself, being utterly unqualified here), you may want to point to/explain your use case for those new lemmas....

Thanks a lot, @CohenCyril ! @pPomCo and I will take a look at your refined version and try to address your commented questions.

Good catch :100: thank you @hendriktews !!