Skip to content

Instantly share code, notes, and snippets.

@J3698
Last active September 6, 2021 01:24
Show Gist options
  • Save J3698/56db90bd0907c7c731c7cc9ce06d3138 to your computer and use it in GitHub Desktop.
Save J3698/56db90bd0907c7c731c7cc9ce06d3138 to your computer and use it in GitHub Desktop.
Add Extexify Toggle Button
function addExtexifyButton() {
document.getElementsByClassName('formatting-buttons-wrapper')[0].innerHTML = `
<span class="toggle-switch toggle-extexify-button" style="margin-left: 15px;">
extexify
</span>
`;
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment