Yesterday I saw the following post on HackerNews:

Let's make GitHub better, together.

I saw the section on Revamping Inline Editing, and noticed one of the comments was about the way Github uses the Ace Editor.

Since I've been working with Ace some recently, I decided to work on a userscript that let's you switch themes on Github.

You can check it out here:

Here is the current description from README.md:


Add a "theme" dropdown when editing files in the Github UI.


Before installing the user script:

Before Installation

After installing the user script:

After Installation

Tagged with: UserscriptJavascriptGitGithubProjects