The interface section is for GTK+ themes, window borders, etc., not for shell themes. Shell themes show up as I described above or under extensions in the tweak tool.
---------- Post added at 11:33 AM ---------- Previous post was at 11:32 AM ----------
Originally Posted by sea
Thats murphy's one?
Thought thats the one from the repo
It is Murphy's, and it is in the repo. Lots of his stuff is in the repos now.