Grammalecte  Diff

Differences From Artifact [d7042c117d]:

To Artifact [d307dd5980]:


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
        "line_highlight":           "hsl(210, 60%, 25%)",
        "bracket_options":          "underline bold",

        "selection":                "hsl(210, 50%, 20%)",
        "selection_border":         "hsl(210, 80%, 40%)",
        "selection_border_width":   "1",
        "selection_corner_style":   "cut",
        "selection_corner_radius":  "4",

        "invisibles":               "hsl(210, 20%, 40%)",

        "highlight":                "hsl(210, 100%, 60%)"
    },
    "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": "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%)",     },
        {   "name": "Test header",          "scope": "test.header",         "foreground": "hsl(150, 100%, 60%)",                                            "font_style": "bold" },
        {   "name": "Test option",          "scope": "test.error",          "foreground": "hsl(0, 90%, 67%)",  },
        {   "name": "Todo",                 "scope": "todo",                "foreground": "hsl(20, 90%, 60%)",                                              "font_style": "bold", },








|













>
>







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
        "line_highlight":           "hsl(210, 60%, 25%)",
        "bracket_options":          "underline bold",

        "selection":                "hsl(210, 50%, 20%)",
        "selection_border":         "hsl(210, 80%, 40%)",
        "selection_border_width":   "1",
        "selection_corner_style":   "cut",
        "selection_corner_radius":  "3",

        "invisibles":               "hsl(210, 20%, 40%)",

        "highlight":                "hsl(210, 100%, 60%)"
    },
    "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%)",     },
        {   "name": "Test header",          "scope": "test.header",         "foreground": "hsl(150, 100%, 60%)",                                            "font_style": "bold" },
        {   "name": "Test option",          "scope": "test.error",          "foreground": "hsl(0, 90%, 67%)",  },
        {   "name": "Todo",                 "scope": "todo",                "foreground": "hsl(20, 90%, 60%)",                                              "font_style": "bold", },