Changeset 938
- Timestamp:
- 11/14/10 16:35:26 (3 years ago)
- Files:
-
- 1 modified
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/jlatexeditor/codehelper/BackgroundParser.java
r918 r938 89 89 } 90 90 AbstractResource resource = editor.getResource(); 91 if (!(resource instanceof Doc.FileDoc)) continue; 91 if (!(resource instanceof Doc.FileDoc)) { 92 try { 93 sleep(1000); 94 } catch (InterruptedException e2) { 95 return; 96 } 97 continue; 98 } 92 99 93 100 File file = ((Doc.FileDoc) resource).getFile();
![(please configure the [header_logo] section in trac.ini)](http://jlatexeditor.endrullis.de/chrome/site/logo.png)