home *** CD-ROM | disk | FTP | other *** search
/ Fresh Fish 5 / FreshFish_July-August1994.bin / bbs / util / gedscripts-1.1.lha / GEDScripts / PasTeX / GoToSDVI.ged < prev    next >
Encoding:
Text File  |  1994-02-15  |  1.4 KB  |  72 lines
  1. /*RX 
  2.    GoToSDVI.ced         NAME:GoToSDVI.ced       Version:1.00
  3.  
  4. - Load SDVI if it isn't running, with the current dvi file of the CED
  5.   view (if it's a tex file)
  6.  
  7. - Check if the current CED view filename (with dvi) is the filename in
  8.   ShowDVI. If it isn't, load it into SDVI. Check if DVI file is there.
  9.  
  10. - If the above things don't apply, bring SDVI to front.
  11.  
  12.   Ren\'e Laederach                      19-Dec-1992
  13. */
  14.  
  15. OPTIONS RESULTS
  16.  
  17. ADDRESS 'GOLDED.1'
  18.  
  19. LOCK CURRENT
  20.  
  21. QUERY FILE
  22. filename=RESULT
  23. QUERY PATH
  24. pathname=RESULT
  25.  
  26.  
  27. if (RIGHT(pathname,1)) ~= ":" THEN DO
  28.     pathname = pathname||"/"
  29.     END
  30.  
  31. filename = left(filename,lastpos('.',filename)-1)
  32.  
  33. IF ~EXISTS(pathname||filename||".dvi") THEN DO
  34.     'REQUEST BODY="The corresponding .dvi file does not exist|Use Start_TeX to generate one."'
  35.     UNLOCK
  36.     EXIT
  37.     END
  38.  
  39.  
  40.  
  41. /* Now check if ShowDVI is running */
  42.  
  43. IF ~SHOW('P','showdvi') THEN DO
  44.         ADDRESS COMMAND "run <nil: >nil: tex:bin/ShowDVI" pathname||filename||".dvi"
  45.         UNLOCK
  46.         EXIT
  47.         END
  48.  
  49. UNLOCK
  50.  
  51. address "showdvi"
  52.  
  53. getfile
  54. loadedfile = RESULT
  55. getdir
  56. loadeddir = RESULT
  57.  
  58. IF RIGHT(loadeddir,1)~=':' & RIGHT(loadeddir,1)~='/' THEN
  59.         loadeddir = loadeddir||'/'
  60. IF loadeddir||loadedfile~=fullsrc THEN DO
  61.         loadnew fullsrc||".dvi"
  62.         tofront
  63.         activate
  64.         END
  65.    ELSE DO
  66.         tofront
  67.         activate
  68.         EXIT
  69.         END
  70.  
  71.  
  72.