Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Some editor themes do not work #3151

Closed
brennaveen opened this issue Jul 25, 2019 · 4 comments · Fixed by #3166
Closed

Some editor themes do not work #3151

brennaveen opened this issue Jul 25, 2019 · 4 comments · Fixed by #3166
Labels
bug 🐛 Issue concerns a bug. level 2 ❗ A bug that causes major damage: App is barely usable, since major features are not working.

Comments

@brennaveen
Copy link

Current behavior

Solarized dark editor theme displayed with no background color or syntax highlighting.

Annotation 2019-07-24 221615

Annotation 2019-07-24 221723

Expected behavior

Theme works as it did before update. Sorry I don't have a screenshot from the previous version.

Steps to reproduce

  1. Update editor to Version 0.12.0
  2. Select Solarized Dark editor theme

Environment

  • Version : 0.12.0
  • OS Version and name : Windows 10 Version 1809 (OS Build 17763.615)
@Flexo013 Flexo013 changed the title Solarized Dark Editor Theme Broken Some editor theme do not work Jul 25, 2019
@Flexo013 Flexo013 added bug 🐛 Issue concerns a bug. level 1 ❕ A bug that caused minor damage: App is still usable, but minor features might not work. labels Jul 25, 2019
@Flexo013 Flexo013 changed the title Some editor theme do not work Some editor themes do not work Jul 25, 2019
@Flexo013
Copy link
Contributor

I have checked all editor themes and the following do not work in version 0.12.0:

  • ambiance-mobile
  • solarized dark
  • solarized light

@Flexo013 Flexo013 added level 2 ❗ A bug that causes major damage: App is barely usable, since major features are not working. and removed level 1 ❕ A bug that caused minor damage: App is still usable, but minor features might not work. labels Jul 25, 2019
@Rokt33r
Copy link
Member

Rokt33r commented Jul 26, 2019

It seems to be fixed now in master branch. I'm going to release v0.12.1 today or tomorrow!

@Rokt33r Rokt33r closed this as completed Jul 26, 2019
@Rokt33r Rokt33r reopened this Jul 26, 2019
@Rokt33r
Copy link
Member

Rokt33r commented Jul 26, 2019

Sorry, it isn't working in Windows only. I'll investigate it.

@Rokt33r
Copy link
Member

Rokt33r commented Jul 26, 2019

Fixed! Will be shipped today or tomorrow!!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug 🐛 Issue concerns a bug. level 2 ❗ A bug that causes major damage: App is barely usable, since major features are not working.
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants