diff --git a/lib/Plugin.vala b/lib/Plugin.vala index 248fb3be..6fc14e61 100644 --- a/lib/Plugin.vala +++ b/lib/Plugin.vala @@ -19,7 +19,6 @@ namespace Gala { public enum PluginFunction { ADDITION, WINDOW_SWITCHER, - DESKTOP, WORKSPACE_VIEW, WINDOW_OVERVIEW } diff --git a/src/PluginManager.vala b/src/PluginManager.vala index 0a6e9a04..0af190e5 100644 --- a/src/PluginManager.vala +++ b/src/PluginManager.vala @@ -37,7 +37,6 @@ namespace Gala { } public string? window_switcher_provider { get; private set; default = null; } - public string? desktop_provider { get; private set; default = null; } public string? window_overview_provider { get; private set; default = null; } public string? workspace_view_provider { get; private set; default = null; } @@ -156,13 +155,6 @@ namespace Gala { } window_overview_provider = name; return true; - case PluginFunction.DESKTOP: - if (desktop_provider != null) { - warning (message, desktop_provider, name, "desktop"); - return false; - } - desktop_provider = name; - return true; case PluginFunction.WINDOW_SWITCHER: if (window_switcher_provider != null) { warning (message, window_switcher_provider, name, "window switcher");