Skip to content

Add a quiet option to mute banner#6

Open
ailisp wants to merge 1 commit into
sharplispers:masterfrom
ailisp:master
Open

Add a quiet option to mute banner#6
ailisp wants to merge 1 commit into
sharplispers:masterfrom
ailisp:master

Conversation

@ailisp

@ailisp ailisp commented May 9, 2020

Copy link
Copy Markdown

If quiet is provided, linedit and formedit would not show banner.

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.

1 participant