Take the 2-minute tour ×
Ask Ubuntu is a question and answer site for Ubuntu users and developers. It's 100% free, no registration required.

I'm trying to change up the css of drop-down terminal, the super awesome gnome-shell extension here: https://extensions.gnome.org/extension/442/drop-down-terminal/

I can't see to get the extension to reflect changes in the gtk.css file or stylesheet.css file. I'm working within .local/share/gnome-shell/extensions/ and I'm restarting hoping it'll adopt changes.

Any ideas?

share|improve this question

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.