root / tmp / org.eclipse.ui.workbench / .options @ 743
Historique | Voir | Annoter | Télécharger (245 octet)
| 1 | 82 | sjacqu01 | # Debugging options for the org.eclipse.ui.workbench plugin. |
|---|---|---|---|
| 2 | 82 | sjacqu01 | |
| 3 | 82 | sjacqu01 | # Turn on debugging for the org.eclipse.ui.workbench plugin. |
| 4 | 82 | sjacqu01 | org.eclipse.ui.workbench/debug=false |
| 5 | 82 | sjacqu01 | |
| 6 | 82 | sjacqu01 | # Turn on tracing of e4 development messages |
| 7 | 82 | sjacqu01 | org.eclipse.ui.workbench/debug/e4=false |