Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Add a "Format / Verbatim" menu item #382

Closed
ktraunmueller opened this issue Jan 21, 2019 · 1 comment
Closed

Add a "Format / Verbatim" menu item #382

ktraunmueller opened this issue Jan 21, 2019 · 1 comment
Labels
editing
Milestone
1.6

Comments

@ktraunmueller
Copy link
Owner

Similar to Bold, Italic, etc, add a "Verbatim" menu item to toggle a \verb|...| format trait.
@ktraunmueller ktraunmueller added this to the 1.6 milestone Jan 21, 2019
@ktraunmueller ktraunmueller self-assigned this Jan 21, 2019
@ktraunmueller
Copy link
Owner Author

Added in 1.6

@ktraunmueller ktraunmueller removed their assignment Jan 21, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
editing
Projects
None yet
Milestone
1.6
Development

No branches or pull requests
1 participant
@ktraunmueller