If so, it will paste using ctrl+shift+v if not then it will paste normally as ctrl+v In texpander.sh there is a check to see if the active window is a terminal. The terminal works a little differently from other GUI apps in that you have to type ctrl+shift+v to paste stuff.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |