You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The text was updated successfully, but these errors were encountered:
kgryte
added
RFC
Request for comments. Feature requests and proposed changes.
REPL
Issue or pull request specific to the project REPL.
labels
Jun 9, 2024
@vexora-0 we don't assign issues, but feel free to open a PR implementing this. I suggest also discussing your plan and implementation details beforehand to avoid wasted work.
Description
This RFC proposes
prevTheme
andnextTheme
for easier switching between syntax highlighting themesthemeSample
that prints out a syntactically highlighted sample code to demonstrate how the current theme looks like.Related Issues
Related discussions #2341
Questions
No.
Other
No.
Checklist
RFC:
.The text was updated successfully, but these errors were encountered: