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