Changeset 540

Timestamp:

01/23/10 00:48:50 (3 years ago)

Author:

joerg

Message:

 

Location:

trunk/src/jlatexeditor

Files:

• codehelper/BackgroundParser.java (modified) (3 diffs)
• codehelper/BibParser.java (modified) (1 diff)
• JLatexEditorJFrame.java (modified) (3 diffs)

trunk/src/jlatexeditor/codehelper/BackgroundParser.java

@@ -2 +2 @@
 
 import jlatexeditor.JLatexEditorJFrame;
+import sce.component.AbstractResource;
 import sce.component.SourceCodeEditor;
 import util.ParseUtil;
@@ -26 +27 @@
     while(true) {
       try {
-        synchronized (this) { wait(5000); }
+        synchronized (this) { wait(1000); }
       } catch (InterruptedException e) { }
 
       SourceCodeEditor editor = jle.getMainEditor();
-      String text = editor.getText();
-      File directory = new File(editor.getResource().getName()).getParentFile();
+      AbstractResource resource = editor.getResource();
+      if(!(resource instanceof JLatexEditorJFrame.FileDoc)) continue;
+
+      String text= editor.getText();
+      File file = ((JLatexEditorJFrame.FileDoc) resource).getFile();
+      File directory = file.getParentFile();
 
       String bibCommand = "\\bibliography{";
@@ -45 +50 @@
 
   private void parseBib(File directory, String fileName) {
+    if(!fileName.endsWith(".bib")) fileName = fileName + ".bib";
     File bibFile = new File(directory, fileName);
     if(bibFile.lastModified() == bibModified) return;

trunk/src/jlatexeditor/codehelper/BibParser.java

@@ -53 +53 @@
       entry.setBlock(block);
       results.add(entry);
+      System.out.println(entry);
     }
 

trunk/src/jlatexeditor/JLatexEditorJFrame.java

@@ -7 +7 @@
 package jlatexeditor;
 
+import jlatexeditor.codehelper.BackgroundParser;
 import jlatexeditor.codehelper.JumpTo;
 import jlatexeditor.codehelper.SpellCheckSuggester;
@@ -70 +71 @@
   private final ProgramUpdater updater = new ProgramUpdater("JLatexEditor update", "http://endrullis.de/JLatexEditor/update/");
 
+  // background parser
+  private BackgroundParser backgroundParser;
 
   public static void main(String args[]){
@@ -339 +342 @@
       }.start();
     }
+
+    // background parser
+    backgroundParser = new BackgroundParser(this);
+    backgroundParser.start();
   }