vscoq icon indicating copy to clipboard operation
vscoq copied to clipboard

Published 20 hours ago • verified publisher icon siegebell

don't load if doc is viewed in diff-mode

Open siegebell opened this issue 9 years ago • 1 comments

when a coq script is shown in diff view

  • do not apply highlights
  • do not load proof-view

siegebell avatar Nov 08 '16 22:11 siegebell

blocked on Microsoft/vscode#15513

siegebell avatar Nov 15 '16 14:11 siegebell