Ticket #20 (new task)
allow setting a default compilation method in the settings dialog
| Reported by: | stefan | Owned by: | |
|---|---|---|---|
| Priority: | major | Milestone: | 0.3 |
| Component: | general | Version: | |
| Keywords: | Cc: | ||
| Blocking: | Blocked By: |
Description
Attachments
Change History
Note: See
TracTickets for help on using
tickets.
![(please configure the [header_logo] section in trac.ini)](http://jlatexeditor.endrullis.de/chrome/site/logo.png)