Zum Inhalt

webgui/settings.py

 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
"""Settings persistence — Theme / tail-default / preferred-defaults."""

import json
from pathlib import Path
from typing import Any

DEFAULTS = {
    "theme": "dark",
    "tail_default": True,
    "preferred_visualizer": "dialogue",
    "preferred_model": "large-v3-turbo",
    "pause_after_transcribe": False,
}


def load_settings(path: Path) -> dict[str, Any]:
    if not path.exists():
        return dict(DEFAULTS)
    try:
        on_disk = json.loads(path.read_text(encoding="utf-8"))
    except (json.JSONDecodeError, OSError):
        return dict(DEFAULTS)
    merged = dict(DEFAULTS)
    merged.update(on_disk)
    return merged


def save_settings(path: Path, partial: dict[str, Any]) -> None:
    current = load_settings(path)
    current.update(partial)
    path.write_text(json.dumps(current, indent=2), encoding="utf-8")