You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Something I've wanted for a while is a "copy to clipboard" button to copy the appropriate latex code (and perhaps train detexify as well). This way I could use detexify, click the button and then switch back to my editor and paste it in. Github has such a button to help cloning a repository and I use it a lot. Unfortunately, I think their button is flash so there may not be a nice javascript way to do it. I don't think it would be as important on the mobile apps, although it may be easier to implement there.
The text was updated successfully, but these errors were encountered:
Something I've wanted for a while is a "copy to clipboard" button to copy the appropriate latex code (and perhaps train detexify as well). This way I could use detexify, click the button and then switch back to my editor and paste it in. Github has such a button to help cloning a repository and I use it a lot. Unfortunately, I think their button is flash so there may not be a nice javascript way to do it. I don't think it would be as important on the mobile apps, although it may be easier to implement there.
The text was updated successfully, but these errors were encountered: