Changeset 940


Ignore:
Timestamp:
Nov 14, 2010, 5:57:25 PM (7 years ago)
Author:
stefan
Message:

small bug fix

File:
1 edited

Legend:

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

    r937 r940  
    327327    toolsTab.addTab("Local History", new LocalHistory(this));
    328328
     329    // background parser
     330    backgroundParser = new BackgroundParser(this);
     331    backgroundParser.start();
     332   
    329333    // tabs for the files
    330334    tabbedPane = new JTabbedPane();
     
    371375      }.start();
    372376    }
    373 
    374     // background parser
    375     backgroundParser = new BackgroundParser(this);
    376     backgroundParser.start();
    377377
    378378    structureTree.setModel(backgroundParser.getStructure());
Note: See TracChangeset for help on using the changeset viewer.