Skip to content

Conversation

@cartermp
Copy link
Contributor

@cartermp cartermp commented Nov 5, 2018

@cartermp cartermp changed the title Respect ShowAfterCharIsDeleted [WIP] Respect ShowAfterCharIsDeleted Nov 6, 2018
@cartermp cartermp changed the title [WIP] Respect ShowAfterCharIsDeleted Respect ShowAfterCharIsDeleted Nov 6, 2018
@cartermp
Copy link
Contributor Author

cartermp commented Nov 6, 2018

This is ready. To be clear, what this does is change this non-optional behavior:

chardeleted

To this behavior (if turned off):

chardeleted2

Delete itself will not dismiss a completion list if it's still open:

chardeleted3

@cartermp
Copy link
Contributor Author

cartermp commented Nov 6, 2018

I've been playing with this today, and I think the behavior feels "cleaner" with the setting off by default.

@cartermp cartermp changed the title Respect ShowAfterCharIsDeleted Respect ShowAfterCharIsDeleted and turn it off by default Nov 20, 2018
@cartermp
Copy link
Contributor Author

Turning the option off by default. It just generates too much noise when it's on, and the completion list you get back is unrelated to what you had typed before.

@cartermp cartermp requested a review from KevinRansom November 20, 2018 17:44
@cartermp cartermp closed this Nov 20, 2018
@cartermp cartermp reopened this Nov 20, 2018
@cartermp
Copy link
Contributor Author

cartermp commented Dec 7, 2018

@KevinRansom @TIHan This is ready.

@cartermp cartermp mentioned this pull request Feb 4, 2019
6 tasks
@cartermp cartermp merged commit 5857c33 into dotnet:master Feb 5, 2019
nosami pushed a commit to xamarin/visualfsharp that referenced this pull request Jan 26, 2022
* Respect ShowAfterCharIsDeleted

* Small refactor and modify test

* ShowCharAfterDelete false by default

* Delete FSharp.Core.UnitTests.dll.config
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