Thorsten Ball 8bc41e150e Use editor's current font size to scale UI elements (#11844) ...

This is a follow-up to #11817 and fixes the case where the font size has
been changed with `cmd +/-` and not through the settings.

It now works with both: when the font size is adjusted in the settings
and when changing it via shortcuts.

Release Notes:

- N/A

Demo:


https://github.com/zed-industries/zed/assets/1185253/2e539bd3-f5cc-4aae-9f04-9ae014187959

2024-05-15 10:05:42 +02:00

..

components

Use editor's current font size to scale UI elements (#11844)

2024-05-15 10:05:42 +02:00

styles

Style header for assistant2 (#11570)

2024-05-08 14:17:07 -04:00

utils

Avoid failing format test with current date (#10068)

2024-04-02 10:37:14 +02:00

clickable.rs

Document ui crate traits

2024-01-09 14:15:25 -05:00

components.rs

Add Tool Strip (#11756)

2024-05-13 17:58:08 -04:00

disableable.rs

Fix possessive "its" in docs and comments (#3998)

2024-01-10 10:09:48 -05:00

fixed.rs

Document ui crate traits

2024-01-09 14:15:25 -05:00

prelude.rs

Add Tool Strip (#11756)

2024-05-13 17:58:08 -04:00

selectable.rs

Clean up references in doc comments in ui and theme crates (#3985)

2024-01-09 15:22:36 -05:00

styled_ext.rs

Make border methods always require an explicit width (#11450)

2024-05-06 13:22:47 -04:00

styles.rs

Add wiring for UI density (#11260)

2024-05-01 14:28:52 -04:00

ui.rs

Document UI modules

2024-01-09 12:57:12 -05:00

utils.rs

Document UI modules

2024-01-09 12:57:12 -05:00

visible_on_hover.rs

Remove 2 suffix for ui, storybook, text

2024-01-03 12:33:51 -08:00