Skip to content

Add support for Nodeclipse/Enide minimal Editor#60

Merged
guari merged 1 commit intoguari:masterfrom
teohhanhui:patch-1
May 1, 2014
Merged

Add support for Nodeclipse/Enide minimal Editor#60
guari merged 1 commit intoguari:masterfrom
teohhanhui:patch-1

Conversation

@teohhanhui
Copy link
Copy Markdown
Contributor

guari added a commit that referenced this pull request May 1, 2014
Add support for Nodeclipse/Enide minimal Editor
@guari guari merged commit bdb8562 into guari:master May 1, 2014
@guari
Copy link
Copy Markdown
Owner

guari commented May 1, 2014

Merged, thanks @teohhanhui

paulvi pushed a commit to paulvi/eclipse-ui-theme that referenced this pull request May 2, 2014
@paulvi
Copy link
Copy Markdown
Contributor

paulvi commented May 2, 2014

I wonder how to translate these changes to RainbowDrops.xml

paulvi pushed a commit to Nodeclipse/www.nodeclipse.org that referenced this pull request May 2, 2014
@guari
Copy link
Copy Markdown
Owner

guari commented May 2, 2014

You should add a mapping into Eclipse Color Theme plugin, see:
https://github.com/eclipse-color-theme/eclipse-color-theme#adding-a-mapping

Add here a new XML with the same name of your .pref file (eg. org.nodeclipse.enide.editors.gradle.xml) and place into that file your mappings for the color's preferences keys:

<eclipseColorThemeMapping plugin="org.nodeclipse.enide.editors.gradle" created="2014-05-02 13:10:08">
    <mappings>
        <mapping pluginKey="color_comment" themeKey="singleLineComment"/>
        ....
    </mappings>
</eclipseColorThemeMapping>

Finally add to plugin.xml your <mapper> properties to the extension point com.github.eclipsecolortheme.mapper.

guari added a commit that referenced this pull request May 2, 2014
#60 Support for Nodeclipse Jade and Chromium Editors
paulvi added a commit to Nodeclipse/eclipse-color-theme that referenced this pull request May 4, 2014
paulvi added a commit to Nodeclipse/eclipse-color-theme that referenced this pull request May 4, 2014
paulvi added a commit to Nodeclipse/eclipse-color-theme that referenced this pull request May 4, 2014
fhd pushed a commit to eclipse-color-theme/eclipse-color-theme that referenced this pull request Jul 15, 2014
fhd pushed a commit to eclipse-color-theme/eclipse-color-theme that referenced this pull request Jul 15, 2014
fhd pushed a commit to eclipse-color-theme/eclipse-color-theme that referenced this pull request Jul 15, 2014
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants