✨ Allow configuring a vertical gutter separator

首先阅读 GutterView 以及周围的 SourceEditor gutter 布局和绘制代码。跟踪 gutter 宽度如何随行号位数变化，然后定义一个向后兼容的可选分隔线，并支持配置颜色和绘制样式；完成的标准是它默认保持禁用，并在 gutter 宽度变化时跟随 gutter 边界。

Description

Please allow API consumers to configure an optional vertical separator between the line-number gutter and the editor content.

Some editor designs use a thin solid or dashed line beside the line numbers. The separator needs to be drawn by the gutter itself because the gutter width changes as the document's line-number digit count grows. There is currently no public configuration for this, so matching such a design requires maintaining a fork of GutterView.

A backward-compatible configuration could keep the separator disabled by default and allow consumers to specify its color and drawing style. The exact API is open to the maintainers' preference.

Alternatives Considered

• Overlaying a line outside SourceEditor. This cannot reliably follow the gutter because its width is managed internally and changes with the number of line-number digits.
• Making internal gutter layout properties public. A configuration option would expose less implementation detail.

Additional Context

Our current use case is a 1 pt separator using NSColor.separatorColor with a [1, 1] dash pattern.

No matching open or closed issue was found before filing this request. Observed on current main at revision 1fa4d3c.

Screenshots

Not included.