development/github-desktop
development/github-desktop
1
0
Fork 0
mirror of https://github.com/desktop/desktop synced 2024-08-28 12:40:55 +00:00
Code Issues Packages Projects Releases Wiki Activity

fix: JetBrains PhpStorm Capitalization

Browse source
This commit is contained in:
Kyle 2023-10-05 15:56:29 -04:00
parent 8d987788d1
commit 89e1aa679d
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
app/src/lib/editors/win32.ts
View file

@ -370,7 +370,7 @@ const editors: WindowsExternalEditor[] = [
publishers: ['JetBrains s.r.o.'],
},
{
name: 'JetBrains Phpstorm',
name: 'JetBrains PhpStorm',
registryKeys: registryKeysForJetBrainsIDE('PhpStorm'),
executableShimPaths: executableShimPathsForJetBrainsIDE('phpstorm'),
jetBrainsToolboxScriptName: 'phpstorm',

2
docs/technical/editor-integration.md
View file

@ -33,7 +33,7 @@ These editors are currently supported:
- [SlickEdit](https://www.slickedit.com)
- [JetBrains IntelliJ Idea](https://www.jetbrains.com/idea/)
- [JetBrains WebStorm](https://www.jetbrains.com/webstorm/)
- [JetBrains Phpstorm](https://www.jetbrains.com/phpstorm/)
- [JetBrains PhpStorm](https://www.jetbrains.com/phpstorm/)
- [JetBrains Rider](https://www.jetbrains.com/rider/)
- [JetBrains CLion](https://www.jetbrains.com/clion/)
- [JetBrains PyCharm](https://www.jetbrains.com/pycharm/)