Grammalecte  Diff

Differences From Artifact [d307dd5980]:

To Artifact [e0092a90a2]:


22
23
24
25
26
27
28

29
30
31
32
33
34
35
    },
    "rules":
    [
        {   "name": "Options command",      "scope": "options.command",     "foreground": "#50F0A0",                                                        "font_style": "bold",     },
        {   "name": "Options parameter",    "scope": "options.parameter",   "foreground": "#70B0F0",                                                        "font_style": "bold",     },

        {   "name": "Comment",              "scope": "comment",             "foreground": "hsl(210, 10%, 50%)"  },

        {   "name": "Bookmark",             "scope": "bookmark",            "foreground": "#A0F0FF",                "background": "#0050A0", },
        {   "name": "Graphline",            "scope": "graphline",           "foreground": "hsl(0, 100%, 80%)",      "background": "hsl(0, 100%, 20%)",      "font_style": "bold", },
        {   "name": "Graphname",            "scope": "string.graphname",    "foreground": "hsl(30, 100%, 80%)",     "background": "hsl(0, 100%, 20%)",      "font_style": "bold", },
        {   "name": "Graphcode",            "scope": "string.graphcode",    "foreground": "hsl(180, 100%, 80%)",    "background": "hsl(0, 100%, 20%)",      "font_style": "bold", },
        {   "name": "Error message",        "scope": "string.message",      "foreground": "hsl(0, 50%, 65%)",  },
        {   "name": "Error message esc",    "scope": "string.message.esc",  "foreground": "hsl(30, 100%, 65%)",     "background": "hsl(60, 100%, 12%)",     "font_style": "bold" },
        {   "name": "Error message URL",    "scope": "string.message.url",  "foreground": "hsl(180, 100%, 35%)",    "background": "hsl(180, 100%, 12%)",     },







>







22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
    },
    "rules":
    [
        {   "name": "Options command",      "scope": "options.command",     "foreground": "#50F0A0",                                                        "font_style": "bold",     },
        {   "name": "Options parameter",    "scope": "options.parameter",   "foreground": "#70B0F0",                                                        "font_style": "bold",     },

        {   "name": "Comment",              "scope": "comment",             "foreground": "hsl(210, 10%, 50%)"  },
        {   "name": "Comment within",       "scope": "comment.within",      "foreground": "hsl(210, 70%, 70%)"  },
        {   "name": "Bookmark",             "scope": "bookmark",            "foreground": "#A0F0FF",                "background": "#0050A0", },
        {   "name": "Graphline",            "scope": "graphline",           "foreground": "hsl(0, 100%, 80%)",      "background": "hsl(0, 100%, 20%)",      "font_style": "bold", },
        {   "name": "Graphname",            "scope": "string.graphname",    "foreground": "hsl(30, 100%, 80%)",     "background": "hsl(0, 100%, 20%)",      "font_style": "bold", },
        {   "name": "Graphcode",            "scope": "string.graphcode",    "foreground": "hsl(180, 100%, 80%)",    "background": "hsl(0, 100%, 20%)",      "font_style": "bold", },
        {   "name": "Error message",        "scope": "string.message",      "foreground": "hsl(0, 50%, 65%)",  },
        {   "name": "Error message esc",    "scope": "string.message.esc",  "foreground": "hsl(30, 100%, 65%)",     "background": "hsl(60, 100%, 12%)",     "font_style": "bold" },
        {   "name": "Error message URL",    "scope": "string.message.url",  "foreground": "hsl(180, 100%, 35%)",    "background": "hsl(180, 100%, 12%)",     },