inspector: Use a higher priority than USER

We want to override user settings, so make sure we do that.
This commit is contained in:
Benjamin Otte 2024-08-09 07:09:00 +02:00
parent f24be8476e
commit a467cfd060
2 changed files with 8 additions and 6 deletions

View File

@ -28,6 +28,8 @@
G_BEGIN_DECLS
#define GTK_STYLE_PROVIDER_PRIORITY_INSPECTOR 1000
#define GTK_STYLE_PROVIDER_GET_INTERFACE(o) (G_TYPE_INSTANCE_GET_INTERFACE ((o), GTK_TYPE_STYLE_PROVIDER, GtkStyleProviderInterface))
typedef struct _GtkStyleProviderInterface GtkStyleProviderInterface;

View File

@ -26,15 +26,15 @@
#include "window.h"
#include "css-editor.h"
#include "gtkcssprovider.h"
#include "gtkstyleprovider.h"
#include "gtktextview.h"
#include "gtkalertdialog.h"
#include "gtkcssprovider.h"
#include "gtkfiledialog.h"
#include "gtktogglebutton.h"
#include "gtklabel.h"
#include "gtktooltip.h"
#include "gtkstyleproviderprivate.h"
#include "gtktextiter.h"
#include "gtktextview.h"
#include "gtktogglebutton.h"
#include "gtktooltip.h"
#include "gtk/css/gtkcss.h"
@ -174,7 +174,7 @@ disable_toggled (GtkToggleButton *button,
else
gtk_style_context_add_provider_for_display (ce->priv->display,
GTK_STYLE_PROVIDER (ce->priv->provider),
GTK_STYLE_PROVIDER_PRIORITY_USER);
GTK_STYLE_PROVIDER_PRIORITY_INSPECTOR);
}
static void