Remove PluginFunction.DESKTOP (#1747)

This commit is contained in:
Leo 2023-08-29 20:15:02 +09:00 committed by GitHub
parent 2b34d8cf69
commit 5804d7fb08
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 0 additions and 9 deletions

View File

@ -19,7 +19,6 @@ namespace Gala {
public enum PluginFunction {
ADDITION,
WINDOW_SWITCHER,
DESKTOP,
WORKSPACE_VIEW,
WINDOW_OVERVIEW
}

View File

@ -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");