Modify ↓
Opened 19 years ago
Closed 19 years ago
#1237 closed enhancement (fixed)
Save and Restore Status.
| Reported by: | Hiroki Kondo | Owned by: | Matteo Merli |
|---|---|---|---|
| Priority: | high | Component: | EclipseTracPlugin |
| Severity: | normal | Keywords: | |
| Cc: | Trac Release: | 0.10 |
Description
Today I write a patch to save and restore server setting. I draw upon eclipse's source ,org.eclipse.jdt.internal.launching.LaunchingPlugin. Prease review this patch.
Attachments (1)
Change History (3)
Changed 19 years ago by
| Attachment: | mm.eclipse.trac-save.patch added |
|---|
comment:1 Changed 19 years ago by
| Status: | new → assigned |
|---|
comment:2 Changed 19 years ago by
| Resolution: | → fixed |
|---|---|
| Status: | assigned → closed |
Note: See
TracTickets for help on using
tickets.



The patch looks really good. Thank you. Will apply as soon as I'll be back after the weekend.