[gnome-builder] plugins/gjs-symbols: remove gjs-symbols plugin
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] plugins/gjs-symbols: remove gjs-symbols plugin
- Date: Tue, 12 Jul 2022 06:39:16 +0000 (UTC)
commit 82ecb742332e3f5353259510dba07d80ef103a77
Author: Christian Hergert <chergert redhat com>
Date: Mon Jul 11 22:48:29 2022 -0700
plugins/gjs-symbols: remove gjs-symbols plugin
This doesn't work anymore due to changes in GJS/SpiderMonkey. We can
probably get the feature another way using the typescript-language-server
if someone spends time on it.
src/plugins/gjs-symbols/gjs_symbols.plugin | 13 -
src/plugins/gjs-symbols/gjs_symbols.py | 463 -----------------------------
src/plugins/gjs-symbols/meson.build | 13 -
3 files changed, 489 deletions(-)
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]