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

Merge pull request #17397 from Daeraxa/add-pulsar-editor

Browse source 
Add support for Pulsar code editor on Linux
This commit is contained in:
Sergio Padrino 2023-09-20 17:02:54 +02:00 committed by GitHub
parent e485c4ad76 bda42ef12d
commit f00e0c4f18
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
app/src/lib/editors/linux.ts
View file

@ -147,6 +147,10 @@ const editors: ILinuxExternalEditor[] = [
name: 'Mousepad',
paths: ['/usr/bin/mousepad'],
},
{
name: 'Pulsar',
paths: ['/usr/bin/pulsar'],
},
]
async function getAvailablePath(paths: string[]): Promise<string | null> {

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

@ -353,6 +353,7 @@ These editors are currently supported:
- [JetBrains PHPStorm](https://www.jetbrains.com/phpstorm/)
- [JetBrains WebStorm](https://www.jetbrains.com/webstorm/)
- [Emacs](https://www.gnu.org/software/emacs/)
- [Pulsar](https://pulsar-edit.dev/)
These are defined in a list at the top of the file: