The Wayback Machine - https://web.archive.org/web/20170228213742/https://github.com/guari/eclipse-ui-theme/pull/60
Skip to content

Add support for Nodeclipse/Enide minimal Editor #60

Merged
merged 1 commit into from May 1, 2014

Projects

None yet

3 participants

@guari guari merged commit bdb8562 into guari:master May 1, 2014

1 check passed

continuous-integration/travis-ci The Travis CI build passed
Details
@guari
Owner
guari commented May 1, 2014

Merged, thanks @teohhanhui

@paulvi paulvi added a commit to paulvi/eclipse-ui-theme that referenced this pull request May 2, 2014
@paulvi paulvi #60 Support for Nodeclipse Jade and Chromimum Editors
Thanks to @teohhanhui
0ee9dd1
@paulvi
Contributor
paulvi commented May 2, 2014

I wonder how to translate these changes to RainbowDrops.xml

@paulvi paulvi added a commit to Nodeclipse/www.nodeclipse.org that referenced this pull request May 2, 2014
@paulvi paulvi ref guari/eclipse-ui-theme#60 RainbowDrops.epf
updated
4217968
@guari
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.

@paulvi paulvi added a commit to Nodeclipse/eclipse-color-theme that referenced this pull request May 4, 2014
@paulvi paulvi close #178 Nodeclipse/Enide Gradle Editor; ref 1ad5912
@paulvi paulvi added a commit to Nodeclipse/eclipse-color-theme that referenced this pull request May 4, 2014
@paulvi paulvi close #160 Chromium Debugger JS Editor; close #181; ref 63830be
@paulvi paulvi added a commit to Nodeclipse/eclipse-color-theme that referenced this pull request May 4, 2014
@paulvi paulvi Nodeclipse/Enide Minimalist Jade Editor; ref 015fa06
@paulvi paulvi added a commit to Nodeclipse/eclipse-color-theme that referenced this pull request May 4, 2014
@paulvi paulvi #172 0.14 release; ref guari/eclipse-ui-theme#60 177a867
@fhd fhd added a commit to eclipse-color-theme/eclipse-color-theme that referenced this pull request Jul 15, 2014
@paulvi @fhd paulvi + fhd close #178 Nodeclipse/Enide Gradle Editor; ref 4d18e61
@fhd fhd added a commit to eclipse-color-theme/eclipse-color-theme that referenced this pull request Jul 15, 2014
@paulvi @fhd paulvi + fhd close #160 Chromium Debugger JS Editor; close #181; ref 11230a0
@fhd fhd added a commit to eclipse-color-theme/eclipse-color-theme that referenced this pull request Jul 15, 2014
@paulvi @fhd paulvi + fhd Nodeclipse/Enide Minimalist Jade Editor; ref da6aad1
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can't perform that action at this time.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.
Morty Proxy This is a proxified and sanitized view of the page, visit original site.