Piotr Osiewicz a5f96dade0 Merge branch 'main' into project_search_design

2023-08-09 12:30:48 +02:00

..

theme_registry.rs

Avoid deserializing all themes to compute settings JSON schema

2023-07-14 14:29:22 -07:00

theme_settings.rs

Fully revert the line height change

2023-07-20 15:39:22 +03:00

theme.rs

Change styling of match nav buttons

2023-08-04 17:35:59 +02:00

ui.rs

Minimize window id usage

2023-08-08 16:38:46 -06:00