Changeset 936


Ignore:
Timestamp:
Nov 12, 2010, 2:33:58 PM (7 years ago)
Author:
stefan
Message:

added --version

Location:
trunk/src/jlatexeditor
Files:
2 edited

Legend:

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

    r930 r936  
    152152    if (params.help.isSet()) {
    153153      params.printHelp();
     154      System.exit(0);
     155    }
     156    if (params.version.isSet()) {
     157      System.out.println("JLatexEditor " + version);
    154158      System.exit(0);
    155159    }
  • trunk/src/jlatexeditor/JLatexEditorParams.java

    r929 r936  
    1515  }
    1616
    17   public Option help  = option("help",  'h', "prints help dialog");
    18   public Option color = option("color", 'c', "sets color mode for output (" + bold("on") + ", " + bold("off") + ", or " + bold("auto") + ")", 1);
     17  public Option color   = option("color",    'c', "sets color mode for output (" + bold("on") + ", " + bold("off") + ", or " + bold("auto") + ")", 1);
     18  public Option help    = option("help",     'h', "prints help dialog");
     19  public Option version = option("version",  'v', "prints version of " + bold("JLatexEditor"));
    1920}
Note: See TracChangeset for help on using the changeset viewer.