How can I change the ACE editor Theme?

Seldaek / php-console

PHP Debug Console

Other

529 stars 91 forks source link

How can I change the ACE editor Theme? #36

Closed avicoder closed 10 years ago

avicoder commented 10 years ago

Hi, Actually I like to change the theme of the editor. Where should I edit the code to get it work! I tried editor.setTheme("idle_fingers"); But its not working!

Seldaek commented 10 years ago

Their docs say editor.setTheme("ace/theme/idle_fingers"); but I am not sure if the themes are included in this repo or not since I never tried a custom theme, I don't really see the point this is just a tiny tool to play around not to spend hours in.