[gnome-builder] editorui: add override for GMPL model files
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] editorui: add override for GMPL model files
- Date: Thu, 13 Oct 2022 15:10:28 +0000 (UTC)
commit 02a2f73a38b704e028e5c11219652f8006f347c0
Author: Newbyte <newbie13xd gmail com>
Date: Sat Oct 8 21:00:05 2022 +0200
editorui: add override for GMPL model files
Otherwise Builder thinks it's an audio file that it can't play.
Closes https://gitlab.gnome.org/GNOME/gnome-builder/-/issues/1863
src/plugins/editorui/gbp-editorui-workbench-addin.c | 1 +
1 file changed, 1 insertion(+)
---
diff --git a/src/plugins/editorui/gbp-editorui-workbench-addin.c
b/src/plugins/editorui/gbp-editorui-workbench-addin.c
index 698d7b886..d61def3f5 100644
--- a/src/plugins/editorui/gbp-editorui-workbench-addin.c
+++ b/src/plugins/editorui/gbp-editorui-workbench-addin.c
@@ -295,6 +295,7 @@ gbp_editorui_workbench_addin_class_init (GbpEditoruiWorkbenchAddinClass *klass)
{
overrides = g_hash_table_new (g_str_hash, g_str_equal);
g_hash_table_add (overrides, (char *)".dts"); /* #1572 */
+ g_hash_table_add (overrides, (char *)".mod"); /* #1863 */
}
static void
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]