This indeed looks like a bug/design decision in Mousepad, instead of the theme.
The following URL *might* be useful in finding the fix we need: https://mail.gnome.org/archives/commits-list/2014-October/msg03101.html
This indeed looks like a bug/design decision in Mousepad, instead of the theme.
The following URL *might* be useful in finding the fix we need: https:/ /mail.gnome. org/archives/ commits- list/2014- October/ msg03101. html