I mostly implemented this for things like indicator_error (#1185), not as a generic theme inheritance thing. And there, using the default style would not be very nice.

Is it, or can it be limited to just the editor styles then?


You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.