2023-07-30 00:36:52 -05:00
|
|
|
# Python imports
|
|
|
|
|
from dataclasses import dataclass
|
|
|
|
|
|
|
|
|
|
# Lib imports
|
|
|
|
|
|
|
|
|
|
# Application imports
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
@dataclass
|
|
|
|
|
class Theming:
|
2023-10-21 18:58:20 -05:00
|
|
|
transparency: int = 64
|
2025-12-15 22:50:28 -06:00
|
|
|
default_zoom: int = 12
|
|
|
|
|
syntax_theme: str = "penguins-in-space"
|
2023-10-21 18:58:20 -05:00
|
|
|
success_color: str = "#88cc27"
|
|
|
|
|
warning_color: str = "#ffa800"
|
|
|
|
|
error_color: str = "#ff0000"
|
