-
Notifications
You must be signed in to change notification settings - Fork 11
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Custom Border Colors for Individual Windows #74
base: main
Are you sure you want to change the base?
Conversation
resources/schemas/org.gnome.shell.extensions.rounded-window-corners-reborn.gschema.xml
Outdated
Show resolved
Hide resolved
<key name="border-color" type="(dddd)"> | ||
<summary>Border color for rounded corners window</summary> | ||
<default>(0.5, 0.5, 0.5, 1.0)</default> | ||
</key> | ||
|
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Since you're removing a schema key, you have to also bump the version and reset it in src/utils/settings.ts
resetOutdated
function
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Hi, can i ask for some clarification on this?
I have found the settings-version
key, but it is set to 0 by default. I can also see that the last version is 7, but where is this being set and where do i bump it?
And further, in the resetOutdated()
function, would it be enough to just add in prefs.reset('border-color')
?
Also, please lint your code with |
Requested in #60
Moved the border color property into custom/global settings instead of raw prefs, allowing it to be different for seperate windows