Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Description
Previously, the stylesheet was copied to the user's .config dir, and this was then loaded as a style (with priority "application").
The user could alter this stylesheet directly.
This stylesheet was called "safeeyes_styles.css".
Now, we split the stylesheets into two:
This is now called "safeeyes_custom_styles.css".
This means in the future, we can simply add new default styles to the system stylesheet without breaking the user. Additionally, any styles loaded with a higher priority than "application" (eg. certain GTK themes, see #687), can now be overridden by the user's stylesheet.
We also check if the old path ("safeeyes_styles.css") contains an old default stylesheet. If it does, we delete it.
If it (likely) contains a customized stylesheet, don't delete it, but warn the user that they should use "safeeyes_custom_styles.css" instead now.