mirror of
https://github.com/zyedidia/micro.git
synced 2026-02-06 23:20:18 +09:00
9 lines
735 B
Plaintext
9 lines
735 B
Plaintext
syntax "dot" "\.(dot|gv)$"
|
|
|
|
color type "\b(digraph|edge|graph|node|subgraph)\b"
|
|
color statement "\b(arrowhead|arrowsize|arrowtail|bgcolor|center|color|constraint|decorateP|dir|distortion|fillcolor|fontcolor|fontname|fontsize|headclip|headlabel|height|labelangle|labeldistance|labelfontcolor|labelfontname|labelfontsize|label|layers|layer|margin|mclimit|minlen|name|nodesep|nslimit|ordering|orientation|pagedir|page|peripheries|port_label_distance|rankdir|ranksep|rank|ratio|regular|rotate|samehead|sametail|shapefile|shape|sides|size|skew|style|tailclip|taillabel|URL|weight|width)\b"
|
|
color symbol "=|->|--"
|
|
color constant.string ""(\\.|[^"])*"|'(\\.|[^'])*'"
|
|
color comment "(^|[[:space:]])//.*"
|
|
color comment start="/\*" end="\*/"
|