fix: Terminal was not using truly bold font

starpit · starpit · commit 0b213d3fbdbc · 2022-10-01T15:14:35.000-04:00
diff --git a/plugins/plugin-codeflare/src/components/Terminal.tsx b/plugins/plugin-codeflare/src/components/Terminal.tsx
@@ -262,7 +262,7 @@ export default class XTerm extends React.PureComponent<Props, State> {
 
         // FIXME. not tied to theme
         xterm.options.fontWeight = 400
-        xterm.options.fontWeightBold = 600
+        xterm.options.fontWeightBold = 700
       }
     } catch (err) {
       console.error("Error setting terminal font size", err)

Original file line number	Diff line number	Diff line change
`@@ -262,7 +262,7 @@ export default class XTerm extends React.PureComponent<Props, State> {`
`262`	`262`
`263`	`263`	`// FIXME. not tied to theme`
`264`	`264`	`xterm.options.fontWeight = 400`
`265`		`- xterm.options.fontWeightBold = 600`
	`265`	`+ xterm.options.fontWeightBold = 700`
`266`	`266`	`}`
`267`	`267`	`} catch (err) {`
`268`	`268`	`console.error("Error setting terminal font size", err)`