Skip to content

Conversation

@gnprice
Copy link
Member

@gnprice gnprice commented Jul 19, 2023

The details here are largely borrowed from the Flutter repo, and in particular the subtleties most recently added there:
flutter/flutter#122758

This config does the job in my testing.

Note that it doesn't affect any of the things the editor does to simply augment your typing: adding indentation when you hit enter, adding a close-paren when you type an open-parent, and so on. Those are perfectly fine -- most of all because they only affect the code you actually intended to edit, but also because they generally get things right -- and continue operating as usual.

Fixes: #229

The details here are largely borrowed from the Flutter repo,
and in particular the subtleties most recently added there:
  flutter/flutter#122758

This config does the job in my testing.

Note that it doesn't affect any of the things the editor does to
simply augment your typing: adding indentation when you hit enter,
adding a close-paren when you type an open-parent, and so on.
Those are perfectly fine -- most of all because they only affect the
code you actually intended to edit, but also because they generally
get things right -- and continue operating as usual.

Fixes: zulip#229
@chrisbobbe chrisbobbe merged commit 2da776d into zulip:main Jul 20, 2023
@chrisbobbe
Copy link
Collaborator

Great, thanks! LGTM, merged.

@gnprice gnprice deleted the pr-vscode branch July 20, 2023 22:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants