GTKSourceView theme is done, as well as some more general updates to interpreter.
Removing Anjuta stuff.