Changeset 380
- Timestamp:
- 11/29/09 14:27:21 (4 years ago)
- Files:
-
- 1 modified
Legend:
- Unmodified
- Added
- Removed
-
java/JLatexEditor/src/jlatexeditor/JLatexEditorJFrame.java
r379 r380 463 463 if(action.equals("exit")){ 464 464 saveAll(); 465 System.exit( -1);465 System.exit(0); 466 466 } else 467 467
![(please configure the [header_logo] section in trac.ini)](http://jlatexeditor.endrullis.de/chrome/site/logo.png)