angr / angr/angr-management

Multiple fixed width fonts are used

Offen
#1,389 0 Kommentare 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen
bug
Vorherrschende Sprache
Python
Sterne
1.2k
Forks
131
Ø Merge
1 T. 11 Std.
Gemergte PRs (30 T.)
14

Beschreibung

### Description

I'm not sure why we have mixed fixed width fonts now as default setting. We should just pick one and use it consistently.

![Image](https://github.com/user-attachments/assets/72ee3a49-d7ca-488f-94fc-66b2dc9e0d4f)

### Steps to reproduce the bug

N/A

### Environment

ea5645039df0dcf024154d6affd7c0766163c5e8

### Additional context

_No response_

Beitragsleitfaden

Für dieses Repository ist kein Beitragsleitfaden indexiert

Bewertung

Dieses Issue wurde noch nicht bewertet.

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.