PreTeXtBook/JS_core

Highlights for instructors

Opened this issue · 0 comments

davidfarmer commented

When an instructor selects text, that should immediately bring up a menu
asking if it should be a highlight or copied to clipboard.