Last active
August 29, 2015 13:56
-
-
Save dy/8891772 to your computer and use it in GitHub Desktop.
Enhanced markdown syntax highlighting for Sublime Text 2 Eiffel.tmTheme
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| <?xml version="1.0" encoding="UTF-8"?> | |
| <!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd"> | |
| <plist version="1.0"> | |
| <dict> | |
| <key>name</key> | |
| <string>Eiffel</string> | |
| <key>author</key> | |
| <string>Ian Joyner</string> | |
| <key>settings</key> | |
| <array> | |
| <dict> | |
| <key>settings</key> | |
| <dict> | |
| <key>background</key> | |
| <string>#FFFFFF</string> | |
| <key>caret</key> | |
| <string>#000000</string> | |
| <key>foreground</key> | |
| <string>#000000</string> | |
| <key>invisibles</key> | |
| <string>#BFBFBF</string> | |
| <key>lineHighlight</key> | |
| <string>#00000012</string> | |
| <key>selection</key> | |
| <string>#C3DCFF</string> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>Comment</string> | |
| <key>scope</key> | |
| <string>comment</string> | |
| <key>settings</key> | |
| <dict> | |
| <key>fontStyle</key> | |
| <string></string> | |
| <key>foreground</key> | |
| <string>#00B418</string> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>Variable</string> | |
| <key>scope</key> | |
| <string>variable</string> | |
| <key>settings</key> | |
| <dict> | |
| <key>fontStyle</key> | |
| <string>italic</string> | |
| <key>foreground</key> | |
| <string>#0206FF</string> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>Keyword</string> | |
| <key>scope</key> | |
| <string>keyword</string> | |
| <key>settings</key> | |
| <dict> | |
| <key>fontStyle</key> | |
| <string>bold</string> | |
| <key>foreground</key> | |
| <string>#0100B6</string> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>Number</string> | |
| <key>scope</key> | |
| <string>constant.numeric</string> | |
| <key>settings</key> | |
| <dict> | |
| <key>fontStyle</key> | |
| <string>italic</string> | |
| <key>foreground</key> | |
| <string>#CD0000</string> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>User-defined constant</string> | |
| <key>scope</key> | |
| <string>constant</string> | |
| <key>settings</key> | |
| <dict> | |
| <key>fontStyle</key> | |
| <string>italic</string> | |
| <key>foreground</key> | |
| <string>#C5060B</string> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>Built-in constant</string> | |
| <key>scope</key> | |
| <string>constant.language</string> | |
| <key>settings</key> | |
| <dict> | |
| <key>fontStyle</key> | |
| <string>italic</string> | |
| <key>foreground</key> | |
| <string>#585CF6</string> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>String</string> | |
| <key>scope</key> | |
| <string>string</string> | |
| <key>settings</key> | |
| <dict> | |
| <key>fontStyle</key> | |
| <string></string> | |
| <key>foreground</key> | |
| <string>#D80800</string> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>String interpolation</string> | |
| <key>scope</key> | |
| <string>constant.character.escape, string source</string> | |
| <key>settings</key> | |
| <dict> | |
| <key>fontStyle</key> | |
| <string></string> | |
| <key>foreground</key> | |
| <string>#26B31A</string> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>Preprocessor line</string> | |
| <key>scope</key> | |
| <string>meta.preprocessor</string> | |
| <key>settings</key> | |
| <dict> | |
| <key>fontStyle</key> | |
| <string></string> | |
| <key>foreground</key> | |
| <string>#1A921C</string> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>Preprocessor directive</string> | |
| <key>scope</key> | |
| <string>keyword.control.import</string> | |
| <key>settings</key> | |
| <dict> | |
| <key>fontStyle</key> | |
| <string>bold</string> | |
| <key>foreground</key> | |
| <string>#0C450D</string> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>Function name</string> | |
| <key>scope</key> | |
| <string>entity.name.function, keyword.other.name-of-parameter.objc</string> | |
| <key>settings</key> | |
| <dict> | |
| <key>fontStyle</key> | |
| <string>bold</string> | |
| <key>foreground</key> | |
| <string>#0000A2</string> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>Type name</string> | |
| <key>scope</key> | |
| <string>entity.name.type</string> | |
| <key>settings</key> | |
| <dict> | |
| <key>fontStyle</key> | |
| <string>italic</string> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>Inherited class name</string> | |
| <key>scope</key> | |
| <string>entity.other.inherited-class</string> | |
| <key>settings</key> | |
| <dict> | |
| <key>fontStyle</key> | |
| <string>italic</string> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>Function parameter</string> | |
| <key>scope</key> | |
| <string>variable.parameter</string> | |
| <key>settings</key> | |
| <dict> | |
| <key>fontStyle</key> | |
| <string>italic</string> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>Function argument and result types</string> | |
| <key>scope</key> | |
| <string>storage.type.method</string> | |
| <key>settings</key> | |
| <dict> | |
| <key>fontStyle</key> | |
| <string></string> | |
| <key>foreground</key> | |
| <string>#70727E</string> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>Section</string> | |
| <key>scope</key> | |
| <string>meta.section entity.name.section, declaration.section entity.name.section</string> | |
| <key>settings</key> | |
| <dict> | |
| <key>fontStyle</key> | |
| <string>italic</string> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>Library function</string> | |
| <key>scope</key> | |
| <string>support.function</string> | |
| <key>settings</key> | |
| <dict> | |
| <key>fontStyle</key> | |
| <string>bold</string> | |
| <key>foreground</key> | |
| <string>#3C4C72</string> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>Library object</string> | |
| <key>scope</key> | |
| <string>support.class, support.type</string> | |
| <key>settings</key> | |
| <dict> | |
| <key>fontStyle</key> | |
| <string>bold</string> | |
| <key>foreground</key> | |
| <string>#6D79DE</string> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>Library constant</string> | |
| <key>scope</key> | |
| <string>support.constant</string> | |
| <key>settings</key> | |
| <dict> | |
| <key>fontStyle</key> | |
| <string>bold</string> | |
| <key>foreground</key> | |
| <string>#06960E</string> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>Library variable</string> | |
| <key>scope</key> | |
| <string>support.variable</string> | |
| <key>settings</key> | |
| <dict> | |
| <key>fontStyle</key> | |
| <string>bold</string> | |
| <key>foreground</key> | |
| <string>#21439C</string> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>JS: Operator</string> | |
| <key>scope</key> | |
| <string>keyword.operator.js</string> | |
| <key>settings</key> | |
| <dict> | |
| <key>foreground</key> | |
| <string>#687687</string> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>Invalid</string> | |
| <key>scope</key> | |
| <string>invalid</string> | |
| <key>settings</key> | |
| <dict> | |
| <key>background</key> | |
| <string>#990000</string> | |
| <key>foreground</key> | |
| <string>#FFFFFF</string> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>Invalid trailing whitespace</string> | |
| <key>scope</key> | |
| <string>invalid.deprecated.trailing-whitespace</string> | |
| <key>settings</key> | |
| <dict> | |
| <key>background</key> | |
| <string>#FFD0D0</string> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>Embedded source</string> | |
| <key>scope</key> | |
| <string>text source, string.unquoted</string> | |
| <key>settings</key> | |
| <dict> | |
| <key>background</key> | |
| <string>#427FF530</string> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>Markup XML declaration</string> | |
| <key>scope</key> | |
| <string>meta.xml-processing, declaration.xml-processing</string> | |
| <key>settings</key> | |
| <dict> | |
| <key>fontStyle</key> | |
| <string></string> | |
| <key>foreground</key> | |
| <string>#68685B</string> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>Markup DOCTYPE</string> | |
| <key>scope</key> | |
| <string>meta.doctype, declaration.doctype</string> | |
| <key>settings</key> | |
| <dict> | |
| <key>fontStyle</key> | |
| <string></string> | |
| <key>foreground</key> | |
| <string>#888888</string> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>Markup DTD</string> | |
| <key>scope</key> | |
| <string>meta.doctype.DTD, declaration.doctype.DTD</string> | |
| <key>settings</key> | |
| <dict> | |
| <key>fontStyle</key> | |
| <string>italic</string> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>Markup tag</string> | |
| <key>scope</key> | |
| <string>meta.tag, declaration.tag</string> | |
| <key>settings</key> | |
| <dict> | |
| <key>fontStyle</key> | |
| <string></string> | |
| <key>foreground</key> | |
| <string>#1C02FF</string> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>Markup name of tag</string> | |
| <key>scope</key> | |
| <string>entity.name.tag</string> | |
| <key>settings</key> | |
| <dict> | |
| <key>fontStyle</key> | |
| <string>bold</string> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>Markup tag attribute</string> | |
| <key>scope</key> | |
| <string>entity.other.attribute-name</string> | |
| <key>settings</key> | |
| <dict> | |
| <key>fontStyle</key> | |
| <string>italic</string> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>Markup: Heading</string> | |
| <key>scope</key> | |
| <string>markup.heading</string> | |
| <key>settings</key> | |
| <dict> | |
| <key>fontStyle</key> | |
| <string>bold</string> | |
| <key>foreground</key> | |
| <string>#0C07FF</string> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>Markup: Quote</string> | |
| <key>scope</key> | |
| <string>markup.quote</string> | |
| <key>settings</key> | |
| <dict> | |
| <key>fontStyle</key> | |
| <string>italic</string> | |
| <key>foreground</key> | |
| <string>#000000</string> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>Markup: List</string> | |
| <key>scope</key> | |
| <string>markup.list</string> | |
| <key>settings</key> | |
| <dict> | |
| <key>foreground</key> | |
| <string>#B90690</string> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>Markup: Changed</string> | |
| <key>scope</key> | |
| <string>markup.changed</string> | |
| <key>settings</key> | |
| <dict> | |
| <key>background</key> | |
| <string>#FFFFDD</string> | |
| <key>fontStyle</key> | |
| <string></string> | |
| <key>foreground</key> | |
| <string>#000000</string> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>Markup: Deletion</string> | |
| <key>scope</key> | |
| <string>markup.deleted</string> | |
| <key>settings</key> | |
| <dict> | |
| <key>background</key> | |
| <string>#FFDDDD</string> | |
| <key>foreground</key> | |
| <string>#000000</string> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>Markup: Emphasis</string> | |
| <key>scope</key> | |
| <string>markup.italic, markup.italic.markdown</string> | |
| <key>settings</key> | |
| <dict> | |
| <key>fontStyle</key> | |
| <string>italic</string> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>Markdown: Link</string> | |
| <key>scope</key> | |
| <string>string.other.link.title.markdown,string.other.link.description.markdown</string> | |
| <key>settings</key> | |
| <dict> | |
| <!--<key>foreground</key> | |
| <string>#5343e3</string>--> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>Markdown: Punctuation</string> | |
| <key>scope</key> | |
| <string>punctuation.definition.metadata.markdown,punctuation.definition.string.begin.markdown, punctuation.definition.string.end.markdown, punctuation.definition.constant.markdown, punctuation.separator.key-value.markdown, punctuation.definition.constant.begin.markdown, punctuation.definition.constant.end.markdown,punctuation.definition.bold.markdown, punctuation.definition.italic.markdown, punctuation.definition.strikethrough.markdown, punctuation.definition.heading.markdown</string> | |
| <key>settings</key> | |
| <dict> | |
| <!--<key>foreground</key> | |
| <string>#a0a</string>--> | |
| <key>background</key> | |
| <string>#EEEEEE00</string> | |
| <key>fontStyle</key> | |
| <string>bold</string> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>Markdown: Punctuation</string> | |
| <key>scope</key> | |
| <string>markup.list.unnumbered.markdown meta.paragraph.list.markdown, markup.list.unnumbered.markdown punctuation.definition.list_item.markdown, markup.list.numbered.markdown, markup.list.numbered.markdown meta.paragraph.list.markdown, markup.list.numbered.markdown punctuation.definition.list_item.markdown</string> | |
| <key>settings</key> | |
| <dict> | |
| <key>background</key> | |
| <string>#EEEEEE00</string> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>Markup: Error</string> | |
| <key>scope</key> | |
| <string>markup.error</string> | |
| <key>settings</key> | |
| <dict> | |
| <key>background</key> | |
| <string>#F93232</string> | |
| <key>fontStyle</key> | |
| <string></string> | |
| <key>foreground</key> | |
| <string>#F9F2CE</string> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>Markup: Insertion</string> | |
| <key>scope</key> | |
| <string>markup.inserted</string> | |
| <key>settings</key> | |
| <dict> | |
| <key>background</key> | |
| <string>#DDFFDD</string> | |
| <key>fontStyle</key> | |
| <string></string> | |
| <key>foreground</key> | |
| <string>#000000</string> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>Markup: Output</string> | |
| <key>scope</key> | |
| <string>markup.output, markup.raw</string> | |
| <key>settings</key> | |
| <dict> | |
| <key>background</key> | |
| <string>#e8e8e8</string> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>Markup: Prompt</string> | |
| <key>scope</key> | |
| <string>markup.prompt</string> | |
| <key>settings</key> | |
| <dict> | |
| <key>foreground</key> | |
| <string>#555555</string> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>Markup: Heading</string> | |
| <key>scope</key> | |
| <string>markup.heading</string> | |
| <key>settings</key> | |
| <dict> | |
| <key>fontStyle</key> | |
| <string>bold</string> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>Markup: Strong</string> | |
| <key>scope</key> | |
| <string>markup.bold, markup.bold.markdown</string> | |
| <key>settings</key> | |
| <dict> | |
| <key>fontStyle</key> | |
| <string>bold</string> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>Markup: Strikethrough</string> | |
| <key>scope</key> | |
| <string> | |
| , markup.strikethrough, | |
| , markup.strikethrough.markdown, | |
| , markup.strikethrough constant.other.reference.link.markdown, | |
| , markup.strikethrough entity.name.tag, | |
| , markup.strikethrough markup.bold, | |
| , markup.strikethrough markup.bold.markdown, | |
| , markup.strikethrough markup.italic, | |
| , markup.strikethrough markup.italic.markdown, | |
| , markup.strikethrough markup.raw.inline.markdown, | |
| , markup.strikethrough markup.underline.link.image.markdown, | |
| , markup.strikethrough markup.underline.link.markdown, | |
| , markup.strikethrough meta.link.inet.markdown markup.underline.link.markdown, | |
| , markup.strikethrough meta.link.email.lt-gt.markdown markup.underline.link.markdown, | |
| , markup.strikethrough punctuation.definition.bold.markdown, | |
| , markup.strikethrough punctuation.definition.italic.markdown, | |
| , markup.strikethrough punctuation.definition.constant.begin.markdown, | |
| , markup.strikethrough punctuation.definition.constant.end.markdown, | |
| , markup.strikethrough punctuation.definition.constant.markdown, | |
| , markup.strikethrough punctuation.definition.metadata.markdown, | |
| , markup.strikethrough punctuation.definition.raw.markdown, | |
| , markup.strikethrough punctuation.definition.strikethrough.markdown, | |
| , markup.strikethrough punctuation.definition.string.begin.markdown, | |
| , markup.strikethrough punctuation.definition.string.end.markdown, | |
| , markup.strikethrough punctuation.definition.tag.begin.html, | |
| , markup.strikethrough punctuation.definition.tag.end.html, | |
| , markup.strikethrough string.other.link.description.markdown, | |
| , markup.strikethrough string.other.link.description.title.markdown, | |
| , markup.strikethrough string.other.link.title.markdown, | |
| </string> | |
| <key>settings</key> | |
| <dict> | |
| <key>foreground</key> | |
| <string>#CECECE</string> | |
| <key>background</key> | |
| <string>#ECECEC</string> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>Markup: Strikethrough (Keyboard Shortcut)</string> | |
| <key>scope</key> | |
| <string> | |
| , markup.strikethrough markup.kbd.content, | |
| , markup.strikethrough markup.kbd.content.markdown, | |
| </string> | |
| <key>settings</key> | |
| <dict> | |
| <key>foreground</key> | |
| <string>#B7B7B7</string> | |
| <key>background</key> | |
| <string>#DDDDDD</string> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>Markup: Keyboard Shortcut</string> | |
| <key>scope</key> | |
| <string>markup.kbd.content.markdown</string> | |
| <key>settings</key> | |
| <dict> | |
| <key>background</key> | |
| <string>#D3D3D3</string> | |
| <key>foreground</key> | |
| <string>#131313</string> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>Markup: Traceback</string> | |
| <key>scope</key> | |
| <string>markup.traceback</string> | |
| <key>settings</key> | |
| <dict> | |
| <key>foreground</key> | |
| <string>#F93232</string> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>Markup: Underline</string> | |
| <key>scope</key> | |
| <string>markup.underline,markup.underline.link.markdown,constant.other.reference.link.markdown,meta.image.reference.markdown</string> | |
| <key>settings</key> | |
| <dict> | |
| <!--<key>background</key> | |
| <string>#f3f3e3</string>--> | |
| <!--<key>foreground</key> | |
| <string>#d38383</string>--> | |
| </dict> | |
| </dict> | |
| <dict> | |
| <key>name</key> | |
| <string>Markup: Plain Link</string> | |
| <key>scope</key> | |
| <string> | |
| , meta.link.inet.markdown markup.underline.link.markdown, | |
| , meta.link.email.lt-gt.markdown markup.underline.link.markdown, | |
| </string> | |
| <key>settings</key> | |
| <dict> | |
| <key>foreground</key> | |
| <string>#5343e3</string> | |
| </dict> | |
| </dict> | |
| </array> | |
| <key>uuid</key> | |
| <string>ADD7FDE7-C6BE-454B-A71A-7951ED54FB04</string> | |
| </dict> | |
| </plist> |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment