Skip to content

Refresh GitHub theme syntax colors and gutter - #3988

Open
Matei02355 wants to merge 2 commits into
sharkdp:masterfrom
Matei02355:github-modern-colors-2671-20260907
Open

Refresh GitHub theme syntax colors and gutter#3988
Matei02355 wants to merge 2 commits into
sharkdp:masterfrom
Matei02355:github-modern-colors-2671-20260907

Conversation

@Matei02355

Copy link
Copy Markdown
Contributor

The bundled GitHub theme uses an older palette and has no gutterForeground, leaving line numbers at the terminal default instead of gray. Refresh the existing theme using the official GitHub Light Default syntax rules and palette.

Adapt the 49 TextMate rules from primer/github-vscode-theme 6.3.5 (cd78e5e4e7bcf132a6f428ae0f32264bb1b729cf) and its pinned Primer Primitives 7.10.0 palette. Set the foreground to #1f2328 and the gutter to #8c959f, matching the official editorLineNumber.foreground. Reverse equally specific rules to preserve VS Code's last-rule priority under syntect. Preserve bold, italic and underline; syntect does not support strikethrough.

Retain the existing theme name, white background, yellow highlighted-line background and selection settings. Add both MIT notices to asset acknowledgements and document the pinned sources and conversion. The normal asset patch workflow applies and reverses the update; no binary cache is committed.

Validation: four new decorated syntax fixtures (Rust, JavaScript, Markdown and JSON) were generated from a source-built theme cache. Explicit checks verify gray gutters plus the official foreground, keyword, comment and function colors. Monokai control output is unchanged. The patch applies and reverses without fuzz, exactly restoring the pinned source; acknowledgement generation and the repository license check pass. Rendering still follows Sublime syntax scopes and terminal color capabilities.

Fixes #2671.

@Matei02355
Matei02355 marked this pull request as ready for review September 7, 2026 16:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Does the GitHub theme need an update to match the current GitHub?

1 participant