![[Jenkins]](/ci/static/d70d5ff4/images/svgs/logo.svg){kind=logo}
Summary
- fixed missing preference pane
| Change Type | Path in Repository | Path in Workspace |
|---|---|---|
| The file was modified | /trunk/lab/ttle/info.textgrid.lab.ttle/plugin.xml (diff) | N/A |
| The file was added | /trunk/lab/ttle/info.textgrid.lab.ttle/src/info/textgrid/lab/ttle/TTLEPreferencePage.java | N/A |
| The file was modified | /trunk/lab/ttle/info.textgrid.lab.ttle/src/info/textgrid/lab/ttle/editors/TTLEditor.java (diff) | N/A |