[gnome-shell] shell/app: Remove unused property ID
- From: Marge Bot <marge-bot src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell] shell/app: Remove unused property ID
- Date: Thu, 10 Feb 2022 13:14:06 +0000 (UTC)
commit e3a3f792005b7f7d6b95d83e0f56124da2d47986
Author: Florian Müllner <fmuellner gnome org>
Date: Wed Feb 9 18:10:24 2022 +0100
shell/app: Remove unused property ID
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2168>
src/shell-app.c | 1 -
1 file changed, 1 deletion(-)
---
diff --git a/src/shell-app.c b/src/shell-app.c
index 2ed23fab5b..8790dba0fe 100644
--- a/src/shell-app.c
+++ b/src/shell-app.c
@@ -93,7 +93,6 @@ enum {
PROP_STATE,
PROP_BUSY,
PROP_ID,
- PROP_DBUS_ID,
PROP_ACTION_GROUP,
PROP_ICON,
PROP_APP_INFO
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]