Inline code in heaidngs fix (#165)

szydlovsky · web-flow · commit 580a87a280f3 · 2025-09-24T10:43:05.000+02:00
Makes inline code properly use font sizes dictated by the headings.
diff --git a/ios/styles/InlineCodeStyle.mm b/ios/styles/InlineCodeStyle.mm
@@ -42,7 +42,7 @@ - (void)addAttributes:(NSRange)range {
       usingBlock:^(id  _Nullable value, NSRange range, BOOL * _Nonnull stop) {
         UIFont *font = (UIFont *)value;
         if(font != nullptr) {
-          UIFont *newFont = [[_input->config monospacedFont] withFontTraits:font];
+          UIFont *newFont = [[[_input->config monospacedFont] withFontTraits:font] setSize:font.pointSize];
           [_input->textView.textStorage addAttribute:NSFontAttributeName value:newFont range:range];
         }
       }
@@ -60,7 +60,7 @@ - (void)addTypingAttributes {
   newTypingAttrs[NSStrikethroughColorAttributeName] = [_input->config inlineCodeFgColor];
   UIFont* currentFont = (UIFont *)newTypingAttrs[NSFontAttributeName];
   if(currentFont != nullptr) {
-    newTypingAttrs[NSFontAttributeName] = [[_input->config monospacedFont] withFontTraits:currentFont];
+    newTypingAttrs[NSFontAttributeName] = [[[_input->config monospacedFont] withFontTraits:currentFont] setSize:currentFont.pointSize];
   }
   _input->textView.typingAttributes = newTypingAttrs;
 }
@@ -76,7 +76,7 @@ - (void)removeAttributes:(NSRange)range {
     usingBlock:^(id  _Nullable value, NSRange range, BOOL * _Nonnull stop) {
       UIFont *font = (UIFont *)value;
       if(font != nullptr) {
-        UIFont *newFont = [[_input->config primaryFont] withFontTraits:font];
+        UIFont *newFont = [[[_input->config primaryFont] withFontTraits:font] setSize:font.pointSize];
         [_input->textView.textStorage addAttribute:NSFontAttributeName value:newFont range:range];
       }
     }
@@ -93,7 +93,7 @@ - (void)removeTypingAttributes {
   newTypingAttrs[NSStrikethroughColorAttributeName] = [_input->config primaryColor];
   UIFont* currentFont = (UIFont *)newTypingAttrs[NSFontAttributeName];
   if(currentFont != nullptr) {
-    newTypingAttrs[NSFontAttributeName] = [[_input->config primaryFont] withFontTraits:currentFont];
+    newTypingAttrs[NSFontAttributeName] = [[[_input->config primaryFont] withFontTraits:currentFont] setSize:currentFont.pointSize];
   }
   _input->textView.typingAttributes = newTypingAttrs;
 }

Original file line number	Diff line number	Diff line change
`@@ -42,7 +42,7 @@ - (void)addAttributes:(NSRange)range {`
`42`	`42`	`usingBlock:^(id _Nullable value, NSRange range, BOOL * _Nonnull stop) {`
`43`	`43`	`UIFont font = (UIFont )value;`
`44`	`44`	`if(font != nullptr) {`
`45`		`- UIFont *newFont = [[_input->config monospacedFont] withFontTraits:font];`
	`45`	`+ UIFont *newFont = [[[_input->config monospacedFont] withFontTraits:font] setSize:font.pointSize];`
`46`	`46`	`[_input->textView.textStorage addAttribute:NSFontAttributeName value:newFont range:range];`
`47`	`47`	`}`
`48`	`48`	`}`
`@@ -60,7 +60,7 @@ - (void)addTypingAttributes {`
`60`	`60`	`newTypingAttrs[NSStrikethroughColorAttributeName] = [_input->config inlineCodeFgColor];`
`61`	`61`	`UIFont* currentFont = (UIFont *)newTypingAttrs[NSFontAttributeName];`
`62`	`62`	`if(currentFont != nullptr) {`
`63`		`- newTypingAttrs[NSFontAttributeName] = [[_input->config monospacedFont] withFontTraits:currentFont];`
	`63`	`+ newTypingAttrs[NSFontAttributeName] = [[[_input->config monospacedFont] withFontTraits:currentFont] setSize:currentFont.pointSize];`
`64`	`64`	`}`
`65`	`65`	`_input->textView.typingAttributes = newTypingAttrs;`
`66`	`66`	`}`
`@@ -76,7 +76,7 @@ - (void)removeAttributes:(NSRange)range {`
`76`	`76`	`usingBlock:^(id _Nullable value, NSRange range, BOOL * _Nonnull stop) {`
`77`	`77`	`UIFont font = (UIFont )value;`
`78`	`78`	`if(font != nullptr) {`
`79`		`- UIFont *newFont = [[_input->config primaryFont] withFontTraits:font];`
	`79`	`+ UIFont *newFont = [[[_input->config primaryFont] withFontTraits:font] setSize:font.pointSize];`
`80`	`80`	`[_input->textView.textStorage addAttribute:NSFontAttributeName value:newFont range:range];`
`81`	`81`	`}`
`82`	`82`	`}`
`@@ -93,7 +93,7 @@ - (void)removeTypingAttributes {`
`93`	`93`	`newTypingAttrs[NSStrikethroughColorAttributeName] = [_input->config primaryColor];`
`94`	`94`	`UIFont* currentFont = (UIFont *)newTypingAttrs[NSFontAttributeName];`
`95`	`95`	`if(currentFont != nullptr) {`
`96`		`- newTypingAttrs[NSFontAttributeName] = [[_input->config primaryFont] withFontTraits:currentFont];`
	`96`	`+ newTypingAttrs[NSFontAttributeName] = [[[_input->config primaryFont] withFontTraits:currentFont] setSize:currentFont.pointSize];`
`97`	`97`	`}`
`98`	`98`	`_input->textView.typingAttributes = newTypingAttrs;`
`99`	`99`	`}`