[gnome-builder] plugins: update various dependencies
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] plugins: update various dependencies
- Date: Thu, 18 Aug 2022 22:54:09 +0000 (UTC)
commit b08b26434c912a81c0134c55a5602bbd1555a384
Author: Christian Hergert <chergert redhat com>
Date: Thu Aug 18 15:45:48 2022 -0700
plugins: update various dependencies
To ensure ordering is what we expect.
src/plugins/code-index/code-index.plugin | 1 +
src/plugins/editorui/editorui.plugin | 2 +-
src/plugins/projectui/projectui.plugin | 1 +
src/plugins/terminal/terminal.plugin | 1 -
src/plugins/vim/vim.plugin | 2 +-
5 files changed, 4 insertions(+), 3 deletions(-)
---
diff --git a/src/plugins/code-index/code-index.plugin b/src/plugins/code-index/code-index.plugin
index 45d08bcb6..9aa229fef 100644
--- a/src/plugins/code-index/code-index.plugin
+++ b/src/plugins/code-index/code-index.plugin
@@ -2,6 +2,7 @@
Authors=Anoop Chandu <anoopchandu96 gmail com>, Christian Hergert <chergert redhat com>
Builtin=true
Copyright=Copyright © 2017 Anoop Chandu, 2017-2019 Christian Hergert
+Depends=editorui;
Description=Manages Code Index and does Global Search and Jump to Definition using Code Index.
Embedded=_ide_code_index_register_types
Module=code-index
diff --git a/src/plugins/editorui/editorui.plugin b/src/plugins/editorui/editorui.plugin
index 0f9ebc0af..005b0d990 100644
--- a/src/plugins/editorui/editorui.plugin
+++ b/src/plugins/editorui/editorui.plugin
@@ -2,7 +2,7 @@
Authors=Christian Hergert <christian hergert me>
Builtin=true
Copyright=Copyright © 2014-2022 Christian Hergert
-Depends=platformui
+Depends=platformui;
Embedded=_gbp_editorui_register_types
Hidden=true
Module=editorui
diff --git a/src/plugins/projectui/projectui.plugin b/src/plugins/projectui/projectui.plugin
index d6202c9f2..5796820b8 100644
--- a/src/plugins/projectui/projectui.plugin
+++ b/src/plugins/projectui/projectui.plugin
@@ -2,6 +2,7 @@
Authors=Christian Hergert <christian hergert me>
Builtin=true
Copyright=Copyright © 2022 Christian Hergert
+Depends=platformui;
Embedded=_gbp_projectui_register_types
Hidden=true
Module=projectui
diff --git a/src/plugins/terminal/terminal.plugin b/src/plugins/terminal/terminal.plugin
index 7384f9601..eec163f2d 100644
--- a/src/plugins/terminal/terminal.plugin
+++ b/src/plugins/terminal/terminal.plugin
@@ -2,7 +2,6 @@
Authors=Christian Hergert <christian hergert me>
Builtin=true
Copyright=Copyright © 2014-2018 Christian Hergert
-Depends=
Description=Builder's terminal support
Embedded=_gbp_terminal_register_types
Hidden=true
diff --git a/src/plugins/vim/vim.plugin b/src/plugins/vim/vim.plugin
index 6fc1c9e4e..b2ec7a69f 100644
--- a/src/plugins/vim/vim.plugin
+++ b/src/plugins/vim/vim.plugin
@@ -2,7 +2,7 @@
Authors=Christian Hergert <christian hergert me>
Builtin=true
Copyright=Copyright © 2015-2022 Christian Hergert
-Depends=editorui
+Depends=editorui;
Description=Emulation of various VIM features
Embedded=_gbp_vim_register_types
Module=vim
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]