CodeEditApp / CodeEditApp/CodeEditSourceEditor

✨ Allow configuring the line number font

未关闭 适合新手
#376 1 条评论 0 个 reaction 已指派 0 人 在 GitHub 查看
主要语言
Swift
星标
719
派生
160
PR 合并指标
30 天内没有已合并 PR

描述

### 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:

```swift
controller.gutterView.font = font.rulerFont
```

A backward-compatible API could be:

```swift
public var lineNumberFont: NSFont?
```

The current behavior could remain the default:

```swift
controller.gutterView.font = lineNumberFont ?? font.rulerFont
```

### Alternatives Considered

- Making `GutterView.font` public. Keeping the option in `Appearance` seems preferable because it avoids exposing the view implementation.
- Always using `Appearance.font` for 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.

贡献指南

这个仓库没有索引到贡献指南

调研方向

Start at SourceEditorConfiguration.Appearance.font and its didSetOnController handling, then inspect GutterView.font to understand how the ruler font is assigned. Add the proposed optional lineNumberFont API while preserving font.rulerFont as the default, and verify that consumers can override the gutter font without changing existing appearance behavior.

由索引模型根据 Issue 内容生成。

评估

技术栈
swift
领域
desktop-dev
Issue 类型
功能
难度
2/5
预计耗时
1-3 小时
活跃度
活跃
描述清晰度
描述清楚
新手友好度
76/100

把新 issue 发到你的邮箱

精选适合新手参与的 GitHub issue 摘要。