| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557 |
- <?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>Amy</string>
- <key>author</key>
- <string>William D. Neumann</string>
- <key>settings</key>
- <array>
- <dict>
- <key>settings</key>
- <dict>
- <key>background</key>
- <string>#200020</string>
- <key>caret</key>
- <string>#7070FF</string>
- <key>foreground</key>
- <string>#D0D0FF</string>
- <key>invisibles</key>
- <string>#BFBFBF</string>
- <key>lineHighlight</key>
- <string>#80000040</string>
- <key>selection</key>
- <string>#80000080</string>
- </dict>
- </dict>
- <dict>
- <key>name</key>
- <string>Comment</string>
- <key>scope</key>
- <string>comment.block</string>
- <key>settings</key>
- <dict>
- <key>background</key>
- <string>#200020</string>
- <key>fontStyle</key>
- <string>italic</string>
- <key>foreground</key>
- <string>#404080</string>
- </dict>
- </dict>
- <dict>
- <key>name</key>
- <string>String</string>
- <key>scope</key>
- <string>string</string>
- <key>settings</key>
- <dict>
- <key>foreground</key>
- <string>#999999</string>
- </dict>
- </dict>
- <dict>
- <key>name</key>
- <string>Built-in constant</string>
- <key>scope</key>
- <string>constant.language</string>
- <key>settings</key>
- <dict>
- <key>foreground</key>
- <string>#707090</string>
- </dict>
- </dict>
- <dict>
- <key>name</key>
- <string>Integer</string>
- <key>scope</key>
- <string>constant.numeric</string>
- <key>settings</key>
- <dict>
- <key>foreground</key>
- <string>#7090B0</string>
- </dict>
- </dict>
- <dict>
- <key>name</key>
- <string>Int32 constant</string>
- <key>scope</key>
- <string>constant.numeric.integer.int32</string>
- <key>settings</key>
- <dict>
- <key>fontStyle</key>
- <string>bold</string>
- </dict>
- </dict>
- <dict>
- <key>name</key>
- <string>Int64 constant</string>
- <key>scope</key>
- <string>constant.numeric.integer.int64</string>
- <key>settings</key>
- <dict>
- <key>fontStyle</key>
- <string>italic</string>
- </dict>
- </dict>
- <dict>
- <key>name</key>
- <string>Nativeint constant</string>
- <key>scope</key>
- <string>constant.numeric.integer.nativeint</string>
- <key>settings</key>
- <dict>
- <key>fontStyle</key>
- <string>bold italic</string>
- </dict>
- </dict>
- <dict>
- <key>name</key>
- <string>Floating-point constant</string>
- <key>scope</key>
- <string>constant.numeric.floating-point.ocaml</string>
- <key>settings</key>
- <dict>
- <key>fontStyle</key>
- <string>underline</string>
- </dict>
- </dict>
- <dict>
- <key>name</key>
- <string>Character constant</string>
- <key>scope</key>
- <string>constant.character</string>
- <key>settings</key>
- <dict>
- <key>fontStyle</key>
- <string></string>
- <key>foreground</key>
- <string>#666666</string>
- </dict>
- </dict>
- <dict>
- <key>name</key>
- <string>Boolean constant</string>
- <key>scope</key>
- <string>constant.language.boolean</string>
- <key>settings</key>
- <dict>
- <key>foreground</key>
- <string>#8080A0</string>
- </dict>
- </dict>
- <dict>
- <key>name</key>
- <string>Built-in constant</string>
- <key>scope</key>
- <string>constant.language</string>
- <key>settings</key>
- <dict/>
- </dict>
- <dict>
- <key>name</key>
- <string>User-defined constant</string>
- <key>scope</key>
- <string>constant.other</string>
- <key>settings</key>
- <dict/>
- </dict>
- <dict>
- <key>name</key>
- <string>Variable</string>
- <key>scope</key>
- <string>variable.language, variable.other</string>
- <key>settings</key>
- <dict>
- <key>fontStyle</key>
- <string></string>
- <key>foreground</key>
- <string>#008080</string>
- </dict>
- </dict>
- <dict>
- <key>name</key>
- <string>Keyword</string>
- <key>scope</key>
- <string>keyword</string>
- <key>settings</key>
- <dict>
- <key>foreground</key>
- <string>#A080FF</string>
- </dict>
- </dict>
- <dict>
- <key>name</key>
- <string>Keyword operator</string>
- <key>scope</key>
- <string>keyword.operator</string>
- <key>settings</key>
- <dict>
- <key>foreground</key>
- <string>#A0A0FF</string>
- </dict>
- </dict>
- <dict>
- <key>name</key>
- <string>Keyword decorator</string>
- <key>scope</key>
- <string>keyword.other.decorator</string>
- <key>settings</key>
- <dict>
- <key>foreground</key>
- <string>#D0D0FF</string>
- </dict>
- </dict>
- <dict>
- <key>name</key>
- <string>Floating-point infix operator</string>
- <key>scope</key>
- <string>keyword.operator.infix.floating-point.ocaml</string>
- <key>settings</key>
- <dict>
- <key>fontStyle</key>
- <string>underline</string>
- </dict>
- </dict>
- <dict>
- <key>name</key>
- <string>Floating-point prefix operator</string>
- <key>scope</key>
- <string>keyword.operator.prefix.floating-point.ocaml</string>
- <key>settings</key>
- <dict>
- <key>fontStyle</key>
- <string>underline</string>
- </dict>
- </dict>
- <dict>
- <key>name</key>
- <string>Compiler directives</string>
- <key>scope</key>
- <string>keyword.other.directive</string>
- <key>settings</key>
- <dict>
- <key>fontStyle</key>
- <string></string>
- <key>foreground</key>
- <string>#C080C0</string>
- </dict>
- </dict>
- <dict>
- <key>name</key>
- <string>Line-number directives</string>
- <key>scope</key>
- <string>keyword.other.directive.line-number</string>
- <key>settings</key>
- <dict>
- <key>fontStyle</key>
- <string>underline</string>
- <key>foreground</key>
- <string>#C080C0</string>
- </dict>
- </dict>
- <dict>
- <key>name</key>
- <string>Control keyword</string>
- <key>scope</key>
- <string>keyword.control</string>
- <key>settings</key>
- <dict>
- <key>foreground</key>
- <string>#80A0FF</string>
- </dict>
- </dict>
- <dict>
- <key>name</key>
- <string>Storage</string>
- <key>scope</key>
- <string>storage</string>
- <key>settings</key>
- <dict>
- <key>foreground</key>
- <string>#B0FFF0</string>
- </dict>
- </dict>
- <dict>
- <key>name</key>
- <string>Variants</string>
- <key>scope</key>
- <string>entity.name.type.variant</string>
- <key>settings</key>
- <dict>
- <key>foreground</key>
- <string>#60B0FF</string>
- </dict>
- </dict>
- <dict>
- <key>name</key>
- <string>Polymorphic variants</string>
- <key>scope</key>
- <string>storage.type.variant.polymorphic, entity.name.type.variant.polymorphic</string>
- <key>settings</key>
- <dict>
- <key>fontStyle</key>
- <string>italic</string>
- <key>foreground</key>
- <string>#60B0FF</string>
- </dict>
- </dict>
- <dict>
- <key>name</key>
- <string>Module definitions</string>
- <key>scope</key>
- <string>entity.name.type.module</string>
- <key>settings</key>
- <dict>
- <key>foreground</key>
- <string>#B000B0</string>
- </dict>
- </dict>
- <dict>
- <key>name</key>
- <string>Module type definitions</string>
- <key>scope</key>
- <string>entity.name.type.module-type.ocaml</string>
- <key>settings</key>
- <dict>
- <key>fontStyle</key>
- <string>underline</string>
- <key>foreground</key>
- <string>#B000B0</string>
- </dict>
- </dict>
- <dict>
- <key>name</key>
- <string>Support modules</string>
- <key>scope</key>
- <string>support.other</string>
- <key>settings</key>
- <dict>
- <key>foreground</key>
- <string>#A00050</string>
- </dict>
- </dict>
- <dict>
- <key>name</key>
- <string>Class name</string>
- <key>scope</key>
- <string>entity.name.type.class</string>
- <key>settings</key>
- <dict>
- <key>foreground</key>
- <string>#70E080</string>
- </dict>
- </dict>
- <dict>
- <key>name</key>
- <string>Class type</string>
- <key>scope</key>
- <string>entity.name.type.class-type</string>
- <key>settings</key>
- <dict>
- <key>fontStyle</key>
- <string></string>
- <key>foreground</key>
- <string>#70E0A0</string>
- </dict>
- </dict>
- <dict>
- <key>name</key>
- <string>Inherited class</string>
- <key>scope</key>
- <string>entity.other.inherited-class</string>
- <key>settings</key>
- <dict/>
- </dict>
- <dict>
- <key>name</key>
- <string>Function name</string>
- <key>scope</key>
- <string>entity.name.function</string>
- <key>settings</key>
- <dict>
- <key>foreground</key>
- <string>#50A0A0</string>
- </dict>
- </dict>
- <dict>
- <key>name</key>
- <string>Function argument</string>
- <key>scope</key>
- <string>variable.parameter</string>
- <key>settings</key>
- <dict>
- <key>foreground</key>
- <string>#80B0B0</string>
- </dict>
- </dict>
- <dict>
- <key>name</key>
- <string>Token definition (ocamlyacc)</string>
- <key>scope</key>
- <string>entity.name.type.token</string>
- <key>settings</key>
- <dict>
- <key>fontStyle</key>
- <string></string>
- <key>foreground</key>
- <string>#3080A0</string>
- </dict>
- </dict>
- <dict>
- <key>name</key>
- <string>Token reference (ocamlyacc)</string>
- <key>scope</key>
- <string>entity.name.type.token.reference</string>
- <key>settings</key>
- <dict>
- <key>fontStyle</key>
- <string></string>
- <key>foreground</key>
- <string>#3CB0D0</string>
- </dict>
- </dict>
- <dict>
- <key>name</key>
- <string>Non-terminal definition (ocamlyacc)</string>
- <key>scope</key>
- <string>entity.name.function.non-terminal</string>
- <key>settings</key>
- <dict>
- <key>foreground</key>
- <string>#90E0E0</string>
- </dict>
- </dict>
- <dict>
- <key>name</key>
- <string>Non-terminal reference (ocamlyacc)</string>
- <key>scope</key>
- <string>entity.name.function.non-terminal.reference</string>
- <key>settings</key>
- <dict>
- <key>foreground</key>
- <string>#C0F0F0</string>
- </dict>
- </dict>
- <dict>
- <key>name</key>
- <string>Tag name</string>
- <key>scope</key>
- <string>entity.name.tag</string>
- <key>settings</key>
- <dict>
- <key>foreground</key>
- <string>#009090</string>
- </dict>
- </dict>
- <dict>
- <key>name</key>
- <string>Tag attribute</string>
- <key>scope</key>
- <string>entity.other.attribute-name</string>
- <key>settings</key>
- <dict/>
- </dict>
- <dict>
- <key>name</key>
- <string>Library function</string>
- <key>settings</key>
- <dict>
- <key>background</key>
- <string>#200020</string>
- </dict>
- </dict>
- <dict>
- <key>name</key>
- <string>Library constant</string>
- <key>scope</key>
- <string>support.constant</string>
- <key>settings</key>
- <dict>
- <key>background</key>
- <string>#200020</string>
- </dict>
- </dict>
- <dict>
- <key>name</key>
- <string>Library class/type</string>
- <key>scope</key>
- <string>support.type, support.class</string>
- <key>settings</key>
- <dict/>
- </dict>
- <dict>
- <key>name</key>
- <string>Library variable</string>
- <key>scope</key>
- <string>support.other.variable</string>
- <key>settings</key>
- <dict/>
- </dict>
- <dict>
- <key>name</key>
- <string>Invalid - illegal</string>
- <key>scope</key>
- <string>invalid.illegal</string>
- <key>settings</key>
- <dict>
- <key>background</key>
- <string>#FFFF00</string>
- <key>fontStyle</key>
- <string>bold</string>
- <key>foreground</key>
- <string>#400080</string>
- </dict>
- </dict>
- <dict>
- <key>name</key>
- <string>Invalid - depricated</string>
- <key>scope</key>
- <string>invalid.deprecated</string>
- <key>settings</key>
- <dict>
- <key>background</key>
- <string>#CC66FF</string>
- <key>foreground</key>
- <string>#200020</string>
- </dict>
- </dict>
- <dict>
- <key>name</key>
- <string>Camlp4 code</string>
- <key>scope</key>
- <string>source.camlp4.embedded</string>
- <key>settings</key>
- <dict>
- <key>background</key>
- <string>#40008054</string>
- </dict>
- </dict>
- <dict>
- <key>name</key>
- <string>Camlp4 temp (parser)</string>
- <key>scope</key>
- <string>source.camlp4.embedded.parser.ocaml</string>
- <key>settings</key>
- <dict>
- <key>fontStyle</key>
- <string></string>
- </dict>
- </dict>
- <dict>
- <key>name</key>
- <string>Punctuation</string>
- <key>scope</key>
- <string>punctuation</string>
- <key>settings</key>
- <dict>
- <key>foreground</key>
- <string>#805080</string>
- </dict>
- </dict>
- </array>
- <key>uuid</key>
- <string>3C01FADD-7592-49DD-B7A5-1B82CA4E57B5</string>
- </dict>
- </plist>
|