mirror of
https://github.com/kovidgoyal/kitty
synced 2026-07-15 13:04:38 +02:00
wip: add --layer=shell for menu bars
This commit is contained in:
@@ -26,6 +26,7 @@ from kitty.fast_data_types import (
|
||||
GLFW_LAYER_SHELL_BACKGROUND,
|
||||
GLFW_LAYER_SHELL_OVERLAY,
|
||||
GLFW_LAYER_SHELL_PANEL,
|
||||
GLFW_LAYER_SHELL_DESKTOP_SHELL,
|
||||
GLFW_LAYER_SHELL_TOP,
|
||||
layer_shell_config_for_os_window,
|
||||
set_layer_shell_config,
|
||||
@@ -69,6 +70,7 @@ def layer_shell_config(opts: PanelCLIOptions) -> LayerShellConfig:
|
||||
'background': GLFW_LAYER_SHELL_BACKGROUND,
|
||||
'bottom': GLFW_LAYER_SHELL_PANEL,
|
||||
'top': GLFW_LAYER_SHELL_TOP,
|
||||
'shell': GLFW_LAYER_SHELL_DESKTOP_SHELL,
|
||||
'overlay': GLFW_LAYER_SHELL_OVERLAY
|
||||
}.get(opts.layer, GLFW_LAYER_SHELL_PANEL)
|
||||
ltype = GLFW_LAYER_SHELL_BACKGROUND if opts.edge == 'background' else ltype
|
||||
|
||||
Reference in New Issue
Block a user