This hasn't worked for a long time... since we switched to using
GtkSourceView themes for these colours at least. The signal is also
gone in GTK 4, so while we should fix it, this change at least removes
a porting problem while not really breaking anything.