Changeset 927

Show
Ignore:
Timestamp:
11/11/10 10:18:38 (3 years ago)
Author:
stefan
Message:

added forward search for okular and fixed a small bug

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • trunk/src/jlatexeditor/JLatexEditorJFrame.java

    r921 r927  
    294294      forwardSearch.add(createMenuItem("xdvi", "forward search: xdvi -sourceposition \"%line %file.dvi\" -nofork", null)); 
    295295      forwardSearch.add(createMenuItem("kdvi", "forward search: kdvi --unique \"file:%file.dvi#src:%line %texfile\"", null)); 
     296      forwardSearch.add(createMenuItem("okular", "forward search: okular --unique \"file:%file.pdf#src:%line %texfile\"", null)); 
    296297    } 
    297298    settingsMenu.add(forwardSearch); 
     
    11021103          System.out.println(token); 
    11031104        } 
    1104         ProcessUtil.exec(array, mainEditor.getFile().getParentFile()); 
     1105        ProcessUtil.exec(array, getMainEditor().getFile().getParentFile()); 
    11051106      } catch(Exception ex) { 
    11061107        logger.log(Level.SEVERE, "Forward search failed", ex);