Changeset 929


Ignore:
Timestamp:
Nov 12, 2010, 12:56:40 PM (7 years ago)
Author:
stefan
Message:

implemented feature #130: implement --help

Location:
trunk/src
Files:
3 added
1 edited

Legend:

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

    r928 r929  
    4747import java.beans.PropertyChangeListener;
    4848import java.io.*;
    49 import java.net.ServerSocket;
    50 import java.net.Socket;
    5149import java.net.URI;
    5250import java.util.*;
    53 import java.util.logging.ConsoleHandler;
    5451import java.util.logging.Level;
    5552import java.util.logging.LogManager;
     
    148145    initLogging();
    149146
    150     UIManager.put("TabbedPaneUI", "util.gui.SCETabbedPaneUI");
     147    Shell.setColoredOrNot(args);
     148    JLatexEditorParams params = new JLatexEditorParams();
     149    params.init(args);
     150
     151    if (params.help.isSet()) {
     152      params.printHelp();
     153      System.exit(0);
     154    }
     155
     156    UIManager.put("TabbedPaneUI", "util.gui.SCETabbedPaneUI");
    151157    UIManager.put("List.timeFactor", 200L);
    152158    /*
Note: See TracChangeset for help on using the changeset viewer.