Skip to content

Conversation

@ferrariofilippo
Copy link
Contributor

Resolved / Related Issues

To prevent extra work, all changes to the Files codebase must link to an approved issue marked as Ready to build. Please insert the issue number following the hashtag with the issue number that this Pull Request resolves.

Steps used to test these changes

Stability is a top priority for Files and all changes are required to go through testing before being merged into the repo. Please include a list of steps that you used to test this PR.

  1. Open Settings>Dev Tools
  2. Play with IDE settings
  3. Open a git repo and use the Open in ... command

Screenshot 2025-01-23 152220 Screenshot 2025-01-23 152835
Screenshot 2025-01-23 152237
Screenshot 2025-01-23 152829
Screenshot 2025-01-23 152604
Screenshot 2025-01-23 152810
Screenshot 2025-01-23 153205

@ferrariofilippo ferrariofilippo marked this pull request as draft January 23, 2025 14:39
@ferrariofilippo ferrariofilippo marked this pull request as ready for review February 6, 2025 13:14
@yaira2 yaira2 force-pushed the feature_open_in_ide branch from 6934fa9 to 9735110 Compare February 9, 2025 20:33
@yaira2 yaira2 added the ready for review Pull requests that are ready for review label Feb 10, 2025
@yaira2 yaira2 changed the title Feature: Add a setting to change the default IDE Feature: Added an option to change the default IDE Feb 16, 2025
@yaira2 yaira2 force-pushed the feature_open_in_ide branch from 1420b70 to ecf7572 Compare February 16, 2025 16:36
Copy link
Member

@yaira2 yaira2 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@yaira2 yaira2 merged commit bc3572b into files-community:main Feb 26, 2025
6 checks passed
@yaira2 yaira2 added ready to merge Pull requests that are approved and ready to merge and removed ready for review Pull requests that are ready for review labels Feb 26, 2025
@ferrariofilippo ferrariofilippo deleted the feature_open_in_ide branch February 26, 2025 20:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ready to merge Pull requests that are approved and ready to merge

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Feature: Add a setting to change the "open" ide on the status bar

3 participants