PythonIDE/config.json at main · MrViper111/PythonIDE · GitHub

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
{
    "window": {
        "title": "15-112 Text Editor",
        "width": 900,
        "height": 600
    },
    "editor": {
        "tab_size": 4
    },
    "style": {
        "theme": "dark",
        "font": "monospace",
        "font_size": 15,
        "tab_max_length": 15,
        "highlighting": {
            "keywords": [255, 130, 37],
            "variables": [90, 178, 255],
            "functions": [229, 210, 131],
            "strings": [187, 154, 177],
            "comments": [117, 134, 148]
        },
        "themes": {
            "dark": {
                "background": [29, 29, 29],
                "sidebar_background": [32, 32 ,32],
                "separator": [42, 42, 42],
                "text_area": [17, 17, 17],
                "select_bar": [255, 255, 255],
                "tooltip_background": [0, 0, 0],
                "button_background": [0, 0, 0],
                "file_hover_background": [21, 21, 21],
                "text": [255, 255, 255]
            }
        }
    }
}