development/github-desktop
development/github-desktop
1
0
Fork 0
mirror of https://github.com/desktop/desktop synced 2024-10-30 06:03:10 +00:00
Code Issues Projects Releases Packages Wiki Activity

add pulsar editor as an option

Browse source
This commit is contained in:
Daeraxa 2023-09-15 17:04:32 +01:00
parent b794fa55be
commit 1315b179f7
1 changed files with 4 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> {