Font size in editor
Dieses Issue hat noch niemand übernommen.
- Vorherrschende Sprache
- JavaScript
- Sterne
- 10.1k
- Forks
- 1.1k
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
Beschreibung
Hi,
Perhaps it would be helpful to have a font size selector in the editor. I personally find the editor font way too large on a low res display. Is there any easy way to reduce the font size in the config currently?
Beitragsleitfaden
Erste Schritte
- Lies das ganze Issue und danach den Beitragsleitfaden des Projekts.
- Schreib ins Issue, dass du es übernimmst — das erspart doppelte Arbeit.
- Forke das Repository und arbeite in einem Branch.
- Öffne einen Pull Request, der die Issue-Nummer nennt.
Rechercherichtung
Es werden keine Datei, kein Test und kein Einstiegspunkt genannt. Beginne damit, die Konfiguration der Schriftgröße des Editors und die vorhandenen Editor-Steuerelemente zu finden, und ermittle anschließend, ob die Konfiguration bereits eine kleinere Größe unterstützt. Erledigt ist die Aufgabe, wenn eine praktikable Möglichkeit vorhanden ist, die Schriftgröße des Editors zu reduzieren – entweder über die Konfiguration oder über einen Schriftgrößenwähler.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Bewertung
- Tech-Stack
- javascript
- Bereich
- frontend
- Issue-Typ
- Feature
- Schwierigkeit
- 4/5
- Geschätzter Aufwand
- 3-5 Tage
- Aktivitätsstatus
- Veraltet
- Klarheit
- Muss geklärt werden
- Anfängerfreundlichkeit
- 30/100