Source file tm_grammar_desktop.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
let lang_id = "desktop"
let json = {json|{
  "displayName": "Desktop",
  "name": "desktop",
  "patterns": [
    {
      "include": "#layout"
    },
    {
      "include": "#keywords"
    },
    {
      "include": "#values"
    },
    {
      "include": "#inCommands"
    },
    {
      "include": "#inCategories"
    }
  ],
  "repository": {
    "inCategories": {
      "patterns": [
        {
          "match": "(?<=^Categories.*)AudioVideo|(?<=^Categories.*)Audio|(?<=^Categories.*)Video|(?<=^Categories.*)Development|(?<=^Categories.*)Education|(?<=^Categories.*)Game|(?<=^Categories.*)Graphics|(?<=^Categories.*)Network|(?<=^Categories.*)Office|(?<=^Categories.*)Science|(?<=^Categories.*)Settings|(?<=^Categories.*)System|(?<=^Categories.*)Utility",
          "name": "markup.bold"
        }
      ]
    },
    "inCommands": {
      "patterns": [
        {
          "match": "(?<=^Exec.*\\s)-+\\S+",
          "name": "variable.parameter"
        },
        {
          "match": "(?<=^Exec.*)\\s%[FUcfiku]\\s",
          "name": "variable.language"
        },
        {
          "match": "\".*\"",
          "name": "string"
        }
      ]
    },
    "keywords": {
      "patterns": [
        {
          "match": "^(?:Type|Version|Name|GenericName|NoDisplay|Comment|Icon|Hidden|OnlyShowIn|NotShowIn|DBusActivatable|TryExec|Exec|Path|Terminal|Actions|MimeType|Categories|Implements|Keywords|StartupNotify|StartupWMClass|URL|PrefersNonDefaultGPU|Encoding)\\b",
          "name": "keyword"
        },
        {
          "match": "^X-[- 0-9A-z]*",
          "name": "keyword.other"
        },
        {
          "match": "(?<!^)\\[.+]",
          "name": "constant.language"
        },
        {
          "match": "^(?:GtkTheme|MetacityTheme|IconTheme|CursorTheme|ButtonLayout|ApplicationFont)\\b",
          "name": "keyword"
        }
      ]
    },
    "layout": {
      "patterns": [
        {
          "begin": "^\\[Desktop",
          "end": "]",
          "name": "markup.heading"
        },
        {
          "begin": "^\\[X-\\w*",
          "end": "]",
          "name": "markup.heading"
        },
        {
          "match": "^\\s*#.*",
          "name": "comment"
        },
        {
          "match": ";",
          "name": "strong"
        }
      ]
    },
    "values": {
      "patterns": [
        {
          "match": "(?<=^\\S+)=",
          "name": "keyword.operator"
        },
        {
          "match": "\\b(?:tru|fals)e\\b",
          "name": "variable.other"
        },
        {
          "match": "(?<=^Version.*)\\d+(\\.?\\d*)",
          "name": "variable.other"
        }
      ]
    }
  },
  "scopeName": "source.desktop"
}|json}