try if the character ( selection_offset + 1) of the whole_document is not in " & linefeed end if end if end if - If a temporary file was created delete it. If one removes " " (space) from the list the insertion point moves to the - beginning of the line. set linefeed to ASCII character 10 set the front_document to the front document - set the front_document to document #DOCUMENTNAME# - The whole text of the document set whole_document to ( the text of the front_document ) as string - If the front document is not saved dump its - content to a temporary file and use that if the front_document is modified then tell me set texpath to do shell script "mktemp /tmp/XXXXXXXX" set TMP to POSIX file texpath open for access TMP with write permission write whole_document to TMP close access TMP end tell else set texpath to the path of the front_document - set texpath to the #FILEPATH# end if - The offset of the selection set selection_offset to offset of the selection of the front_document - Move the insertion point to the beginning of the selected word. LaTeX Tutorials, from Andy - Applescript direct - Script to close a begin/end block - Ramon Figueroa-Centeno Matell application "TeXShop" - The linefeed character. Comprehensive, will answer almost any question you have.
0 Comments
Leave a Reply. |
Details
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |