Skip to content

Update slider for border radius#16

Closed
ahoneybun wants to merge 3 commits intocosmic-utils:mainfrom
ahoneybun:add-dock-border
Closed

Update slider for border radius#16
ahoneybun wants to merge 3 commits intocosmic-utils:mainfrom
ahoneybun:add-dock-border

Conversation

@ahoneybun
Copy link
Member

@ahoneybun ahoneybun commented Jul 17, 2024

This adds the option to change the border radius for the dock and panel.

@edfloreshz
Copy link
Member

It works, however, the elements inside the panel are not changing their border radius.

@ahoneybun
Copy link
Member Author

It works, however, the elements inside the panel are not changing their border radius.

It is for the outside of the panel not inside and I believe that is the same for the dock.

@edfloreshz
Copy link
Member

edfloreshz commented Jul 17, 2024

Yes, but the panel ends up looking like this:

image

The border radius should also apply to the elements inside it, that's what cosmic-settings does.

image

@ahoneybun
Copy link
Member Author

Do we want to remove the option for the panel and only for the dock? COSMIC Settings does not show this option so I figured it was good for Tweaks for COSMIC.

@edfloreshz
Copy link
Member

Yeah, the option is great, we should just try to fix the issue before merging.

@ahoneybun
Copy link
Member Author

Is it an upstream issue or an us issue though?

@edfloreshz
Copy link
Member

It's an us issue as far as I can tell, you can look into cosmic-settings to see how the app updates the radius and replicate that here.

@ahoneybun
Copy link
Member Author

I don't see that option in Settings, is it just for the panel there?

@edfloreshz
Copy link
Member

This option changes the border radius of both the panels and the widgets.

image

@edfloreshz edfloreshz force-pushed the main branch 3 times, most recently from 521ee70 to f4dc232 Compare November 6, 2024 11:16
@edfloreshz edfloreshz force-pushed the main branch 3 times, most recently from 80bb779 to 22f7d56 Compare March 13, 2025 08:09
@edfloreshz edfloreshz closed this Sep 13, 2025
@github-project-automation github-project-automation bot moved this from In Progress to Done in Tweaks Sep 13, 2025
@edfloreshz edfloreshz reopened this Oct 3, 2025
@ahoneybun ahoneybun closed this Oct 3, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants