postcasio/themed-settings — pull request #4 by simurai (2014-11-26 04:37:16+00:00)
Title: Update mini editor selector

Sorry, the proper selector for the mini editors is `atom-text-editor[mini]`. Ref: https://atom.io/docs/v0.152.0/upgrading/upgrading-your-ui-theme#custom-tags

It's not that urgent, but just in case the `.mini` class gets removed one day.