Examples with EditorThemeChangedEvent org.rstudio.studio.client.workbench.views.source.editors.text.events.EditorThemeChangedEvent used on opensource projects

Example 1 with EditorThemeChangedEvent

use of org.rstudio.studio.client.workbench.views.source.editors.text.events.EditorThemeChangedEvent in project rstudio by rstudio.

the class AceThemes method applyTheme.

private void applyTheme(final String themeName) {
    // add theme styles
    if (currentStyleEl_ != null)
        currentStyleEl_.removeFromParent();
    currentStyleEl_ = Document.get().createLinkElement();
    currentStyleEl_.setType("text/css");
    currentStyleEl_.setRel("stylesheet");
    currentStyleEl_.setHref(getThemeUrl(themeName));
    Document.get().getBody().appendChild(currentStyleEl_);
    addDarkClassIfNecessary(themeName);
    // Deferred so that the browser can render the styles.
    new Timer() {

        @Override
        public void run() {
            events_.fireEvent(new EditorThemeChangedEvent(themeName));
        }
    }.schedule(100);
}