Changeset 911

Timestamp:

11/02/10 19:46:17 (3 years ago)

Author:

joerg

Message:

forward search

Location:

trunk/src/jlatexeditor

Files:

• gproperties/GProperties.java (modified) (2 diffs)
• JLatexEditorJFrame.java (modified) (3 diffs)

trunk/src/jlatexeditor/gproperties/GProperties.java

@@ -156 +156 @@
     properties.addEntry(new Def("shortcut.uncomment", SHORTCUT, "control shift D"));
     properties.addEntry(new Def("shortcut.diff", SHORTCUT, "alt D"));
+    properties.addEntry(new Def("shortcut.forward search", SHORTCUT, "control shift F"));
     properties.addEntry(new Comment(" View"));
     properties.addEntry(new Def("shortcut.symbols", SHORTCUT, "alt Y"));
@@ -186 +187 @@
     properties.addEntry(new Comment(" pdflatex"));
     properties.addEntry(new Def("compiler.pdflatex.executable", STRING, "pdflatex"));
-    properties.addEntry(new Def("compiler.pdflatex.parameters", STRING, ""));
+    properties.addEntry(new Def("compiler.pdflatex.parameters", STRING, "-synctex=1"));
     properties.addEntry(new Comment(" latex"));
     properties.addEntry(new Def("compiler.latex.executable", STRING, "latex"));
-    properties.addEntry(new Def("compiler.latex.parameters", STRING, ""));
+    properties.addEntry(new Def("compiler.latex.parameters", STRING, "--src-specials"));
+    properties.addEntry(new Comment(" forward search"));
+    properties.addEntry(new Def("viewer.forward search", STRING, ""));
 
     load();

trunk/src/jlatexeditor/JLatexEditorJFrame.java

@@ -215 +215 @@
     editMenu.add(createMenuItem("Uncomment", "uncomment", 'u'));
     editMenu.addSeparator();
+    editMenu.add(createMenuItem("Forward Search", "forward search", null));
+    editMenu.addSeparator();
     editMenu.add(createMenuItem("Diff", "diff", 'D'));
 
@@ -260 +262 @@
 
     settingsMenu.add(createMenuItem("Font", "font", 'F'));
+    JMenu forwardSearch = new JMenu("Forward Search"); {
+      forwardSearch.add(createMenuItem("Skim", "forward search: /Applications/Skim.app/Contents/SharedSupport/displayline %line \"%file.pdf\" \"%texfile\"", null));
+      forwardSearch.add(createMenuItem("xdvi", "forward search: xdvi -sourceposition \"%line %file.dvi\" -nofork", null));
+      forwardSearch.add(createMenuItem("kdvi", "forward search: kdvi \"file:%file.dvi#src:%line %texfile\"", null));
+    }
+    settingsMenu.add(forwardSearch);
     settingsMenu.add(createMenuItem("Global Settings", "global settings", 'G'));
 
@@ -1009 +1017 @@
       statusBar.setVisible(!statusBar.isVisible());
     } else
+
+    // forward search
+    if (action.startsWith("forward search: ")) {
+      String command = action.substring("forward search: ".length());
+      GProperties.set("viewer.forward search", command);
+    } else
+
+    if (action.equals("forward search")) {
+      try {
+        SourceCodeEditor editor = getActiveEditor();
+        int line = editor.getTextPane().getCaret().getRow()+1;
+        String texfile = editor.getFile().getAbsolutePath();
+        String file = texfile.substring(0, texfile.lastIndexOf(".tex"));;
+
+        ArrayList<String> list = StringUtils.tokenize(GProperties.getString("viewer.forward search"));
+        String[] array = new String[list.size()];
+        list.toArray(array);
+
+        for(int index = 0; index < array.length; index++) {
+          String token = array[index];
+          token = token.replaceAll("%line", line+"");
+          token = token.replaceAll("%file", file);
+          token = token.replaceAll("%texfile", texfile);
+          token = token.replaceAll("&nbsp;", " ");
+          array[index] = token;
+        }
+        ProcessUtil.exec(array, mainEditor.getFile().getParentFile());
+      } catch(Exception ex) {
+        System.err.println("Forward search failed: " + ex.getMessage());
+      }
+    } else
 
     // diff