feat: allow gtk css priority to be overridden

[Anomalocaridid]

My GTK theme heavily relies on ~/.config/gtk-4.0/gtk.css and as a result, it takes precedence over whatever styling I set for Ignis. I cannot find a way around this.

This PR adds a read-write property called gtk_priorityto IgnisApp so that Ignis's GTK styling priority could be overridden to, say, Gtk.STYLE_PROVIDER_PRIORITY_USER. Currently, it defaults to the original value, Gtk.STYLE_PROVIDER_PRIORITY_APPLICATION.

Also, I made the style attribute in BaseWidget rely on IgnisApp.gtk_priority for consistency.

[linkfrg]

I was thinking, what is the point of IgnisApp.style_priority?
BaseWidget now implements the style_priority property on its own side, a custom style priority can be passed directly to IgnisApp.apply_css().
So, it would be better to remove IgnisApp.style_priority and set the default value of the argument style_priority in apply_css() to "application".

[Anomalocaridid]

Removed IgnisApp.style_priority

I think the only thing would be that it would allow setting the priority for both the global style and the widgets at once, but now that you mention it, I doubt that would be better than explicitly setting it where it is needed.

[linkfrg]

Removed IgnisApp.style_priority

I think the only thing would be that it would allow setting the priority for both the global style and the widgets at once, but now that you mention it, I doubt that would be better than explicitly setting it where it is needed.

Hmm, wait. I didn't think about the global style priority for all widgets, sorry.
E.g., If you use "user" priority in IgnisApp.apply_css(), then this priority will be applied only for the style from style.scss.
Widgets will still use "applications" style priority and you will have to change each widget style priority to "user".
So, let's keep IgnisApp.style_priority, but just rename it to IgnisApp.widgets_style_priority for clarity.
IgnisApp.global_style_priority shouldn't affect apply_css(), leave this function as is.

[Anomalocaridid]

Reverted. Thank goodness for git's reflog.

Hmm, wait. I didn't think about the global style priority for all widgets, sorry.

It's alright. If anything, I share at least partial blame for jumping the gun a bit.

[Anomalocaridid]

Sorry I just realized I entirely missed the part were you were asking for changes past reverting removing IgnisApp.style_priority

So, let's keep IgnisApp.style_priority, but just rename it to IgnisApp.widgets_style_priority for clarity.
IgnisApp.global_style_priority shouldn't affect apply_css(), leave this function as is.

Just to be clear, if I understand correctly, I should rename IgnisApp.style_priority to IgnisApp.widgets_style_priority and add another property named IgnisApp.global_style_priority that does not affect apply_css()? Is that the only difference between the two?

[linkfrg]

Okay, I will do rest of stuff by myself

[linkfrg]

thanks!

[Anomalocaridid]

Thank you!