Add option to use GIF, TIFF or BMP file as workspace icon (#121)

This commit is contained in:
Quang Lam 2020-01-19 17:44:42 -06:00 committed by GitHub
parent 2f50d1bd46
commit d83d9be8fd
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 4 additions and 5 deletions

View file

@ -171,8 +171,7 @@ const AddWorkspaceCustom = ({
const opts = {
properties: ['openFile'],
filters: [
{ name: 'PNG (Portable Network Graphics)', extensions: ['png'] },
{ name: 'JPEG (Joint Photographic Experts Group)', extensions: ['jpg', 'jpeg'] },
{ name: 'Images', extensions: ['jpg', 'jpeg', 'png', 'gif', 'tiff', 'tif', 'bmp', 'dib'] },
],
};
remote.dialog.showOpenDialog(remote.getCurrentWindow(), opts)
@ -186,7 +185,7 @@ const AddWorkspaceCustom = ({
Select Local Image...
</Button>
<Typography variant="caption">
PNG or JPEG.
PNG, JPEG, GIF, TIFF or BMP.
</Typography>
<Button
variant="outlined"

View file

@ -177,7 +177,7 @@ const EditWorkspace = ({
const opts = {
properties: ['openFile'],
filters: [
{ name: 'Images', extensions: ['png', 'jpg', 'jpeg'] },
{ name: 'Images', extensions: ['jpg', 'jpeg', 'png', 'gif', 'tiff', 'tif', 'bmp', 'dib'] },
],
};
remote.dialog.showOpenDialog(remote.getCurrentWindow(), opts)
@ -191,7 +191,7 @@ const EditWorkspace = ({
Select Local Image...
</Button>
<Typography variant="caption">
PNG or JPEG.
PNG, JPEG, GIF, TIFF or BMP.
</Typography>
<Button
variant="outlined"