add windows ui setting #9972

Closed
opened 2026-01-31 02:08:45 +00:00 by claunia · 3 comments
Owner

Originally created by @zhangxd on GitHub (Aug 3, 2020).

add windows ui setting, not edit json file

Originally created by @zhangxd on GitHub (Aug 3, 2020). add windows ui setting, not edit json file
claunia added the Resolution-Duplicate label 2026-01-31 02:08:45 +00:00
Author
Owner

@skyline75489 commented on GitHub (Aug 3, 2020):

There is #1564 for this.

Let's see if the bot's having a good mood. /dup #1564

And @zadjii-msft I feel that the dup bot in VSCode repo we once talked is actually not a bad idea. I mean why not. Using another bot to fix the current bot. What could go wrong.

@skyline75489 commented on GitHub (Aug 3, 2020): There is #1564 for this. Let's see if the bot's having a good mood. /dup #1564 And @zadjii-msft I feel that the dup bot in VSCode repo we once talked is actually not a bad idea. I mean why not. Using another bot to fix the current bot. What could go wrong.
Author
Owner

@zadjii-msft commented on GitHub (Aug 3, 2020):

Yea, this is definitely being tracked in #1564.

/dup #1564

@skyline75489 Honestly, I emailed the VsCode team and got access to the dupe detection bot source, but the documentation wasn't straight forward, and I don't really have a lot of experience setting up docker containers nor do I have any experience with ML, so I kinda abandoned it. After seeing all these dupes this morning though, I'm gonna probably reopen that thread and see if we can't get that set up

@zadjii-msft commented on GitHub (Aug 3, 2020): Yea, this is definitely being tracked in #1564. /dup #1564 @skyline75489 Honestly, I emailed the VsCode team and got access to the dupe detection bot source, but the documentation wasn't straight forward, and I don't really have a lot of experience setting up docker containers nor do I have any experience with ML, so I kinda abandoned it. After seeing all these dupes this morning though, I'm gonna probably reopen that thread and see if we can't get that set up
Author
Owner

@ghost commented on GitHub (Aug 3, 2020):

Hi! We've identified this issue as a duplicate of another one that already exists on this Issue Tracker. This specific instance is being closed in favor of tracking the concern over on the referenced thread. Thanks for your report!

@ghost commented on GitHub (Aug 3, 2020): Hi! We've identified this issue as a duplicate of another one that already exists on this Issue Tracker. This specific instance is being closed in favor of tracking the concern over on the referenced thread. Thanks for your report!
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/terminal#9972