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

Update docs

Browse source
This commit is contained in:
Tsvetilian Yankov 2022-12-13 21:16:41 +02:00
parent b5e3898692
commit 99208c4603
1 changed files with 19 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -203,6 +203,25 @@ location with an interface that doesn't change between updates.
Desktop will confirm this file exists on disk before launching - if it's
missing or lost it won't let you launch the external editor.
### Support for JetBrains Toolbox editors
Now GitHub Desktop support editors installed through JetBrains Toolbox.
The technique used to achieve that is using `toolboxShellScriptName` parameter
to check if, in the default section for scripts in JetBrainsm Toolbox a script
with the corresponding name exists.
```ts
{
name: 'JetBrains PyCharm',
...
toolboxShellScriptName: 'pycharm',
},
```
The current method supports only the default generated JetBrains Toolbox shell
scripts.
## macOS
The source for the editor integration on macOS is found in