Use user-defined font weight in terminal (#13926)
Related #13653 Release Notes: - Fixed honoring of the `terminal.font_weight` user setting
A
Aleksei Gusev committed
11c7374f767bfa9e631964af93111744da8b53de
Parent: cd7268f
Committed by GitHub <noreply@github.com>
on 7/8/2024, 11:43:23 AM