Skip to content

Add a quiet option to mute banner#6

Open
ailisp wants to merge 1 commit intosharplispers:masterfrom
ailisp:master
Open

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

Conversation

@ailisp
Copy link
Copy Markdown

@ailisp ailisp commented May 9, 2020

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