[gnome-builder] plugins/command-bar: remove command-bar plugin
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] plugins/command-bar: remove command-bar plugin
- Date: Tue, 12 Jul 2022 06:39:14 +0000 (UTC)
commit 95f0e29517fcdccce07f74bf28b9bb7e82b9ef00
Author: Christian Hergert <chergert redhat com>
Date: Mon Jul 11 22:22:08 2022 -0700
plugins/command-bar: remove command-bar plugin
This is going to be handled differently in the GTK 4 port.
src/plugins/command-bar/command-bar-plugin.c | 40 ---
src/plugins/command-bar/command-bar.gresource.xml | 8 -
src/plugins/command-bar/command-bar.plugin | 11 -
.../command-bar/gbp-command-bar-command-provider.c | 185 ----------
.../command-bar/gbp-command-bar-command-provider.h | 31 --
src/plugins/command-bar/gbp-command-bar-private.h | 29 --
.../command-bar/gbp-command-bar-shortcuts.c | 64 ----
.../command-bar/gbp-command-bar-suggestion.c | 173 ---------
.../command-bar/gbp-command-bar-suggestion.h | 35 --
.../command-bar/gbp-command-bar-workspace-addin.c | 165 ---------
.../command-bar/gbp-command-bar-workspace-addin.h | 31 --
src/plugins/command-bar/gbp-command-bar.c | 386 ---------------------
src/plugins/command-bar/gbp-command-bar.h | 35 --
src/plugins/command-bar/gbp-command-bar.ui | 42 ---
src/plugins/command-bar/gbp-gaction-command.c | 174 ----------
src/plugins/command-bar/gbp-gaction-command.h | 38 --
src/plugins/command-bar/meson.build | 17 -
src/plugins/command-bar/themes/shared.css | 17 -
18 files changed, 1481 deletions(-)
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]