From 11c7374f767bfa9e631964af93111744da8b53de Mon Sep 17 00:00:00 2001
From: Aleksei Gusev <aleksei.gusev@gmail.com>
Date: Mon, 8 Jul 2024 14:43:23 +0300
Subject: [PATCH] Use user-defined font weight in terminal (#13926)

Related #13653

Release Notes:

- Fixed honoring of the `terminal.font_weight` user setting
---
 crates/terminal_view/src/terminal_element.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/crates/terminal_view/src/terminal_element.rs b/crates/terminal_view/src/terminal_element.rs
index 489bf2bb2d..de6da6e099 100644
--- a/crates/terminal_view/src/terminal_element.rs
+++ b/crates/terminal_view/src/terminal_element.rs
@@ -370,7 +370,7 @@ impl TerminalElement {
         let weight = if flags.intersects(Flags::BOLD) {
             FontWeight::BOLD
         } else {
-            FontWeight::NORMAL
+            text_style.font_weight
         };
 
         let style = if flags.intersects(Flags::ITALIC) {
@@ -637,7 +637,7 @@ impl Element for TerminalElement {
 
                 let link_style = HighlightStyle {
                     color: Some(theme.colors().link_text_hover),
-                    font_weight: None,
+                    font_weight: Some(font_weight),
                     font_style: None,
                     background_color: None,
                     underline: Some(UnderlineStyle {