Skip to content

[Suggestion] Increase range for (clip) paddings of windows #88

Closed
@Slaviusz

Description

@Slaviusz

First of all, thank you for this great extension.

I have enabled this extension but noticed that Wezterm window has excess paddings on either side of the window in Wayland mode (wezterm.lua -> enable_wayland = true).
I was able to successfully create Custom setting for Wezterm window and clip the padding on all sides except Top.
I've set the clipping to 40 (max value on a slider in Custom settings -> Padding) but for Wezterm it's still not enough. I think it misses maybe 4 pixels but increasing maximal value on the settings slider to e.g. 60 would be nice.

Thank you in advance.

image

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions