[gnome-builder/wip/gtk4-port] plugins/gjs-symbols: remove gjs-symbols from GTK 4 port
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder/wip/gtk4-port] plugins/gjs-symbols: remove gjs-symbols from GTK 4 port
- Date: Tue, 24 May 2022 07:57:30 +0000 (UTC)
commit f1ef232624266458c72133af2667f8101d9df505
Author: Christian Hergert <chergert redhat com>
Date: Tue May 24 00:57:23 2022 -0700
plugins/gjs-symbols: remove gjs-symbols from GTK 4 port
This plugin doesn't appear to actually work anymore.
That is related to things beyond the expertise of this Builder maintainer.
We're looking to push some of that effort off to either GJS or another
tool for which we can integrate.
See https://gitlab.gnome.org/GNOME/gjs/-/issues/482 for more info.
meson_options.txt | 1 -
src/plugins/gjs-symbols/gjs_symbols.plugin | 13 -
src/plugins/gjs-symbols/gjs_symbols.py | 458 -----------------------------
src/plugins/gjs-symbols/meson.build | 13 -
src/plugins/meson.build | 2 -
5 files changed, 487 deletions(-)
---
diff --git a/meson_options.txt b/meson_options.txt
index a54817136..34753f811 100644
--- a/meson_options.txt
+++ b/meson_options.txt
@@ -46,7 +46,6 @@ option('plugin_gdb', type: 'boolean')
option('plugin_gdiagnose', type: 'boolean')
option('plugin_gettext', type: 'boolean')
option('plugin_git', type: 'boolean')
-option('plugin_gjs_symbols', type: 'boolean')
option('plugin_glade', type: 'boolean')
option('plugin_go_langserv', type: 'boolean')
option('plugin_gradle', type: 'boolean')
diff --git a/src/plugins/meson.build b/src/plugins/meson.build
index 613b614f4..ec712421a 100644
--- a/src/plugins/meson.build
+++ b/src/plugins/meson.build
@@ -78,7 +78,6 @@ subdir('gettext')
subdir('git')
#subdir('glade')
subdir('go-langserv')
-subdir('gjs-symbols')
subdir('gradle')
subdir('greeter')
subdir('grep')
@@ -170,7 +169,6 @@ status += [
'GDB .................................. : @0@'.format(get_option('plugin_gdb')),
'Gettext .............................. : @0@'.format(get_option('plugin_gettext')),
'Git .................................. : @0@'.format(get_option('plugin_git')),
- 'GJS Symbols .......................... : @0@'.format(get_option('plugin_gjs_symbols')),
'Glade ................................ : @0@'.format(get_option('plugin_glade')),
'Gradle ............................... : @0@'.format(get_option('plugin_gradle')),
'Grep ................................. : @0@'.format(get_option('plugin_grep')),
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]