• Hi

    How to change the theme in the plugin to another one? How does this work?

    Also there is a ui issue see image

    Ace Ide Settings

Viewing 2 replies - 1 through 2 (of 2 total)
  • Plugin Author shanept

    (@shanept)

    Hi BackuPs,

    Thanks for your question. I am currently working on a redesign of the settings dialog, so the themes may be selected from a dropdown rather than having to be typed in manually.

    If you really do wish to change the theme, it’s not the nicest… But here’s how to find your themes.

    Navigate to plugins/aceide/src/js/ace-1.2.4. There are a number of javascript files in here. Find those prefixed with ‘theme-‘. These are your options. For example, the default theme is ‘textmate’. If you were to choose this, you would find the file ‘theme-textmate.js’, take ‘textmate’ as the name of the theme, and specify ‘ace/theme/textmate’ to the settings dialog. As another example, to use the ‘dawn’ theme, you would find ‘theme-dawn.js’. So you would specify ‘ace/theme/dawn’ as your theme. Upon closing the settings dialog, the appropriate theme is swapped to by the editor.

    In regards to that funny little cross you have, I don’t actually see it on mine. I am using Google Chrome version 56.0.2924.87 on Ubuntu 16.10. WordPress is version 4.7.2 and AceIDE is version 2.5.4.

    Settings dialog

    If you could give me the same info for your setup, maybe I can replicate and find this issue.

    Thanks for getting in touch!

    Kind Regards,
    Shane

    • This reply was modified 8 years, 1 month ago by shanept. Reason: Fix image source

    Thanks for the info. I was just looking for this.

Viewing 2 replies - 1 through 2 (of 2 total)
  • The topic ‘How to change the color Theme of the plugin?’ is closed to new replies.