Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix strikethrough implementation #134

Merged
merged 5 commits into from
Nov 5, 2024
Merged

Fix strikethrough implementation #134

merged 5 commits into from
Nov 5, 2024

Commits on Nov 3, 2024

  1. Fix strikethrough implementation

    Details:
    I didn't have a way of determing when strikethrough vs underline was happening.
    
    I finally figured a somewhat hacky but legit as far as I can tell way to signal underline and strikethrough, which is to use a large value of thickness in the font metric.
    
    Since we only support a thickness of 1 in a console app, this feels like a safe way to do it and shouldn't get in the way of anything.
    tomlm committed Nov 3, 2024
    Configuration menu
    Copy the full SHA
    69a422a View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    416520e View commit details
    Browse the repository at this point in the history
  3. fix lint issue

    tomlm committed Nov 3, 2024
    Configuration menu
    Copy the full SHA
    264c986 View commit details
    Browse the repository at this point in the history
  4. Automated JetBrains cleanup

    Co-authored-by:  <[email protected]>
    github-actions[bot] committed Nov 3, 2024
    Configuration menu
    Copy the full SHA
    3ceb362 View commit details
    Browse the repository at this point in the history

Commits on Nov 5, 2024

  1. Configuration menu
    Copy the full SHA
    f694fe6 View commit details
    Browse the repository at this point in the history