diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-06-04 11:26:14 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-04 11:26:14 +0200 |
| commit | 875ed4d600e6ae3a41841443a34ed4ede1c8e6fd (patch) | |
| tree | ab2ffccce1654093fba800f09afc4e1ff821b5c9 /misc/dist | |
| parent | c33d444a546674572f3cfdcad47e1f990abb5390 (diff) | |
| parent | b191a7547c0bc6b14ab7e37e7cd36d37ec6dc276 (diff) | |
Merge pull request #47336 from Calinou/rename-shader-file-extension
Rename the `.shader` file extension to `.gdshader`
Diffstat (limited to 'misc/dist')
| -rw-r--r-- | misc/dist/linux/org.godotengine.Godot.xml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/misc/dist/linux/org.godotengine.Godot.xml b/misc/dist/linux/org.godotengine.Godot.xml index 2f647f71a6..e51179cd61 100644 --- a/misc/dist/linux/org.godotengine.Godot.xml +++ b/misc/dist/linux/org.godotengine.Godot.xml @@ -21,6 +21,12 @@ <glob pattern="*.escn"/> </mime-type> + <mime-type type="application/x-godot-shader"> + <comment>Godot Engine shader</comment> + <icon name="x-godot-shader" /> + <glob pattern="*.gdshader"/> + </mime-type> + <mime-type type="application/x-gdscript"> <comment>GDScript script</comment> <icon name="x-gdscript" /> |