Piotr Osiewicz 799278e296 Add row_height

2023-08-11 17:02:25 +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

Add row_height

2023-08-11 17:02:25 +02:00

ui.rs

Minimize window id usage

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