Jun 2f3ad9da4c Use integer font size value in default settings (#7649) ...

Release Notes:

Fixed : default settings for terminal not containing a proper value for font size ([7469](https://github.com/zed-industries/zed/issues/7469))

2024-02-10 10:48:21 +02:00

..

default.json

Use integer font size value in default settings (#7649)

2024-02-10 10:48:21 +02:00

initial_local_settings.json

Remove links to docs.zed.dev (#7187)

2024-01-31 22:26:15 -07:00

initial_user_settings.json

Update default ui font settings

2023-11-21 10:43:18 -05:00