Skip to content

The corners are not rounded. #704

Open
@YabamenoTate

Description

@YabamenoTate

Extension version/Build date

0.4.7

Cinnamon version

6.2.9

Distribution

Mint 22.0

Graphics hardware and driver used

No response

Extension name and maintainer

cinnamon-maximus@fmete

What happened?

A window without a title bar, e.g. VSCode (“window.titleBarStyle”: “custom”), and attempted to undecorate it.
Then, only the upper left and right borders were missing.

image

So I maximized it once, toggled the decorations using hot keys, returned it to its base size, and undecorated it once more.
Then the corners rounded.

image

I prefer corners like any other window, so I would like the top half to be rounded from the beginning without having to do this.
However, some people may not want rounded corners, so I think it would be better to have an option to switch between rounded and not.

Other information

No response

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions