Changeset 930


Ignore:
Timestamp:
Nov 12, 2010, 1:04:45 PM (7 years ago)
Author:
stefan
Message:

minor enhancements

File:
1 edited

Legend:

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

    r929 r930  
    1919import jlatexeditor.gui.*;
    2020import jlatexeditor.quickhelp.LatexQuickHelp;
     21import jlatexeditor.remote.FileLineNr;
    2122import jlatexeditor.remote.NetworkNode;
    2223import jlatexeditor.syntaxhighlighting.LatexStyles;
     
    14311432        // open files given in command line
    14321433        for (String arg : args) {
    1433           openSeek(arg);
     1434          FileLineNr fileLineNr = new FileLineNr(arg);
     1435          open(new Doc.FileDoc(fileLineNr.file), fileLineNr.lineNr-1);
    14341436        }
     1437        getActiveEditor().getFocusedPane().requestFocus();
     1438
    14351439        openDialog.setDialogTitle("Open");
    14361440        if (args.length > 0) {
Note: See TracChangeset for help on using the changeset viewer.