Added document tree and log widgets

This commit is contained in:
2026-07-26 14:34:22 +02:00
parent 4c3b8b4b6d
commit f37cc41ed0
5 changed files with 134 additions and 18 deletions

View File

@@ -44,18 +44,15 @@ def generate_ui() -> None:
str(destination),
)
generated = destination.read_text(encoding="utf-8")
if RESOURCE_IMPORT not in generated:
raise RuntimeError(
f"could not find the generated resource import in {destination}"
if RESOURCE_IMPORT in generated:
destination.write_text(
generated.replace(
RESOURCE_IMPORT,
GENERATED_RESOURCE_IMPORT,
1,
),
encoding="utf-8",
)
destination.write_text(
generated.replace(
RESOURCE_IMPORT,
GENERATED_RESOURCE_IMPORT,
1,
),
encoding="utf-8",
)
def generate_resources() -> None: