Multiple applied themes?

osxpeppermint / peppermint

The official bug/features tracker for Peppermint

8 stars 2 forks source link

Closed bobrocke closed 9 years ago

bobrocke commented 9 years ago

The Dev Tools inspector shows I have two themes active at the same time:

<div id="editor" class="editor ace_editor ace_dark ace-Color It Bob ace-Bob_Colors" style="font-size: 12px; font-family: SourceCodePro-Regular;">

Those are ace-Color It Bob and ace-Bob_Colors.

And ace-Color It Bob doesn't look like it should even be legal.

What's going on here?

osxpeppermint commented 9 years ago

Hmm... That's a good question and a good catch too. I'm having a look into it.

osxpeppermint commented 9 years ago

Issue fixed as of the upcoming 1.5 beta 20.