update readme #4
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "patch-1"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
This fixes the need to search docs and forums for an example on how to use the
theme-one-darktheme.But aren't the docs right below this, and only some 10 lines long? I feel that "
Extensiongoes intoextensionsoption" is something that people using CodeMirror might know without searching the forums.Can't hurt I think. Makes it abundantly clear that
oneDarkis not a function.Merged as
830f40cd49. Added similar sections to the other packages.Pull request closed