Skip to content

Feature: Option to use bold font with high-contrast theme - #1678

Closed
jeremypw wants to merge 8 commits into
masterfrom
jeremypw/embolden-option
Closed

Feature: Option to use bold font with high-contrast theme#1678
jeremypw wants to merge 8 commits into
masterfrom
jeremypw/embolden-option

Commits

  1. Commits on Nov 18, 2025

  2. Commits on Jan 25, 2026

  3. Commits on Feb 16, 2026

  4. Commits on May 16, 2026