-
Notifications
You must be signed in to change notification settings - Fork 4
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
chore(merge): pull request for patch/v3.0.1 #76
Merged
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Information about semantics of plugin was stale (using comma as separated and other): updated this, also add link to the wikipedia. Part of fixes from #73
…s appear null This things occurs because different language may not contain specified elements, for example, translation for code editor font size and etc. Part of fixes from #73
…d in settings tab Error was defined by case, when "use default extensions" was enabled, but extensions input was NOT hidden. Part of fixes from #73
Part of fixes from #73
…defined field in compatibility module
…and fix of semantics for separators
Now if "use default extensions" in code editor module enabled, firstly render them as code, then as markdown.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
PRs: chore(merge): pull request for patch/v3.0.1
Before writing anything about your changes in this PR, checklist this items:
By agreeding and following this project's documentation, you are reminded that your's commit and styling of changes must follow this project's documentation, in case of “de-followization”, there are two ways before you make sure to publishing your PR:
For amending old commit, see the stackoverflow question1, more about changing commits in official docs for github:
https://docs.github.com/en/pull-requests/committing-changes-to-your-project/creating-and-editing-commits/changing-a-commit-message/
Changes with that PR
Please, write below every changes you made:
READ THE CHANGELOG AND THE RULESETS (DATA/RELEASES).
Process of testing for that PR
answer (y/n): (y);
default testing (simulating user experience).
Additional context for that PR
...
Footnotes
https://stackoverflow.com/questions/17338792/amending-old-commit/ ↩