Kriti-shell/defaultSettings.json at main · SolarPunchGames/Kriti-shell · 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
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
{
  "media": {
    "widget": {
      "progressBar": {
        "name": "Progress colored on media player widget",
        "type": "multiChoice",
        "value": 0,
        "choices": [
          "Always",
          "On media with lyrics",
          "Never"
        ]
      },
      "suggestPlayerChange": {
        "name": "Suggest to change player when another player is playing and the current one is paused",
        "type": "switch",
        "value": true
      },
      "quickPlayerChange": {
        "name": "When there are only 2 players, change quickly to the other player without a submenu.",
        "type": "switch",
        "value": false
      }
    },
    "lyrics": {
      "highlightRectangle": {
        "name": "Lyrics highlight rectangle",
        "type": "switch",
        "value": true
      },
      "characterBetween": {
        "name": "Character between lyrics",
        "type": "multiChoice",
        "value": 0,
        "choices": [
          "♪",
          "---",
          "...",
          ""
        ]
      }
    },
    "playback": {
      "resetPositionOnTrackChange": {
        "name": "Reset position on track change (Warning! On Youtube this may cause loss of progress in video)",
        "type": "switch",
        "value": false
      },
      "saveLoadPositionOnPlayPause": {
        "name": "Fix position bug on media with no lyrics found (Warning! This causes play/pause to feel a little clunky)",
        "type": "switch",
        "value": false
      }
    }
  },
  "miscellaneous": {
    "clockWidget": {
      "changeToRedWhenLate": {
        "name": "Change clock widget color when late",
        "type": "switch",
        "value": false
      },
      "lateStartTime": {
        "name": "Start of late time",
        "type": "string",
        "value": "20:00:00"
      },
      "lateEndTime": {
        "name": "End of late time",
        "type": "string",
        "value": "06:00:00"
      }
    }
  },
  "audio": {
    "volumeWidget": {
      "scrollIncrement": {
        "name": "Volume widget scoll increment",
        "type": "slider",
        "value": 1,
        "min": 0,
        "max": 20
      }
    }
  },
  "style": {
    "theme": {
      "name": "Current theme (More info in README.md)",
      "type": "string",
      "value": "catppuccinMocha"
    },
    "font": {
      "name": "The font Kriti-shell uses (Needs be a Nerd Font for icons to work)",
      "type": "string",
      "value": "JetBrainsMono Nerd Font"
    }
  }
}