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.