7b3fe0a474
Ensures issues like #36242 and #36295 do not arise where users are confused that the agent panel does not follow the default UI font size whilst also keeping the possibility of customization. The agent font size was matching the UI font size previously alredy, which makes it easier to change it for most scenarios. Also cleans up some related logic around modifying the font sizes. Release Notes: - The agent panel font size will now inherit the UI font size by default if not set in your settings. |
||
|---|---|---|
| .. | ||
| styles | ||
| default_colors.rs | ||
| fallback_themes.rs | ||
| font_family_cache.rs | ||
| icon_theme.rs | ||
| icon_theme_schema.rs | ||
| registry.rs | ||
| scale.rs | ||
| schema.rs | ||
| settings.rs | ||
| styles.rs | ||
| theme.rs | ||