Skip to content

Instantly share code, notes, and snippets.

@J3698
Last active September 6, 2021 19:15
Show Gist options
  • Save J3698/d3f1f015e3369954ef12990b11c56857 to your computer and use it in GitHub Desktop.
Save J3698/d3f1f015e3369954ef12990b11c56857 to your computer and use it in GitHub Desktop.
Toggle extexify UI
function toggleExtexify() {
document.getElementsByClassName("extexify-pane")[0].classList.toggle("fade-out")
document.getElementsByClassName("extexify-backdrop")[0].classList.toggle("fade-out")
var canvas = document.getElementById("extexify-canvas");
canvas.width = canvas.clientWidth;
canvas.height = canvas.clientHeight;
points = [[]];
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment