j
k
j a
j l
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?
Attachments:
Back to the thread
Back to the list