Aleksei Gusev 11c7374f76 Use user-defined font weight in terminal (#13926) ...

Related #13653

Release Notes:

- Fixed honoring of the `terminal.font_weight` user setting

2024-07-08 14:43:23 +03:00

..

persistence.rs

Changed SQLez migrations to be executed eagerly

2023-01-30 14:38:48 -08:00

terminal_element.rs

Use user-defined font weight in terminal (#13926)

2024-07-08 14:43:23 +03:00

terminal_panel.rs

Fix focusing terminal when running tasks (#13675)

2024-07-02 10:57:54 +03:00

terminal_view.rs

Add terminal inline assistant (#13638)

2024-07-01 20:53:56 +02:00