✨ Allow configuring the line number font
Personne n'a encore pris cette issue.
Évaluation
- Difficulté
- 2/5
- Temps estimé
- 1-3 heures
- Accessibilité débutants
- 76/100
- Type d'issue
- Fonctionnalité
- Clarté
- Clairement spécifiée
- Activité
- Active
- Stack technique
- swift
- Domaine
- desktop-dev
Piste de recherche
Commencez par SourceEditorConfiguration.Appearance.font et sa gestion via didSetOnController, puis examinez GutterView.font pour comprendre comment la police de la règle est attribuée. Ajoutez l’API optionnelle lineNumberFont proposée tout en conservant font.rulerFont comme valeur par défaut, et vérifiez que les consommateurs peuvent remplacer la police du gutter sans modifier le comportement d’apparence existant.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Description
Description
SourceEditorConfiguration.Appearance.font configures the editor text font, but the line-number gutter replaces it with font.rulerFont in didSetOnController. There is currently no public API for choosing the exact font and point size used by line numbers.
A use case is an editor configured with Monaco 12 pt that should also render its line numbers in Monaco 12 pt. At present, this requires maintaining a fork and changing:
controller.gutterView.font = font.rulerFont
A backward-compatible API could be:
public var lineNumberFont: NSFont?
The current behavior could remain the default:
controller.gutterView.font = lineNumberFont ?? font.rulerFont
Alternatives Considered
- Making
GutterView.fontpublic. Keeping the option inAppearanceseems preferable because it avoids exposing the view implementation. - Always using
Appearance.fontfor the gutter. This would change the existing default appearance, so an optional override is safer.
Additional Context
This request is different from #58 and #157: those issues addressed the default ruler font appearance and proportional scaling. This request is specifically about allowing API consumers to override that default.
Observed on current main at revision 1fa4d3c.
Screenshots
Not applicable.
- Langage dominant
- Swift
- Étoiles
- 720
- Forks
- 162
- Métriques de merge des PR
- Aucune PR mergée en 30 j
Guide de contribution
Aucun guide de contribution indexé pour ce dépôt
Par où commencer
- Lisez l'issue en entier, puis le guide de contribution du projet.
- Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
- Forkez le dépôt et travaillez sur une branche.
- Ouvrez une pull request qui référence le numéro de l'issue.
Autres issues de CodeEditApp/CodeEditSourceEditor
-
Difficulté 2/5 1-3 heures Accessibilité débutants 84/100
CodeEditApp/CodeEditSourceEditor#377 · 1 commentaire ·
-
Difficulté 1/5 1-3 heures Accessibilité débutants 68/100
-
Difficulté 3/5 1-2 jours Accessibilité débutants 68/100
CodeEditApp/CodeEditSourceEditor#378 · 1 commentaire ·
-
Difficulté 4/5 3-5 jours Accessibilité débutants 32/100
-
bug
Difficulté 3/5 1-2 jours Accessibilité débutants 45/100
Toutes les issues de CodeEditApp/CodeEditSourceEditor
Issues similaires
-
enhancement
Difficulté 2/5 1-3 heures Accessibilité débutants 68/100
-
type: docs
Difficulté 1/5 Moins d'une heure Accessibilité débutants 95/100
googleapis/google-cloud-swift#971 ·
-
Difficulté 2/5 1-3 heures Accessibilité débutants 76/100
bitcoindevkit/bdk-ffi#1125 ·
-
Move wallpaper setting Ouverte
Difficulté 2/5 1-3 heures Accessibilité débutants 72/100
mozilla-mobile/firefox-ios#35743 ·
-
Difficulté 2/5 1-3 heures Accessibilité débutants 84/100
manaflow-ai/cmux#13417 ·