Notice: this Wiki will be going read only early in 2024 and edits will no longer be possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
Difference between revisions of "Object Teams/Editing"
(New page: ===Source code listings=== Please enclose any listings of OT/J code like this <pre><nowiki><source lang="otj" line="1"> public team class MyFirstTeam {} </source></nowiki></pre> Which ren...) |
|||
| Line 1: | Line 1: | ||
| − | + | <css> | |
| + | .source-java { border:#2F6FAB 1px dashed; background-color:#F9F9F9; padding:4px; } | ||
| + | .source-otj { border:#2F6FAB 1px dashed; background-color:#F9F9F9; padding:4px; } | ||
| + | </css> | ||
| + | ==Source code listings== | ||
Please enclose any listings of OT/J code like this | Please enclose any listings of OT/J code like this | ||
<pre><nowiki><source lang="otj" line="1"> | <pre><nowiki><source lang="otj" line="1"> | ||
| Line 10: | Line 14: | ||
The "line" option inserts line numbers in the left column, just omit this if no line number are desired. | The "line" option inserts line numbers in the left column, just omit this if no line number are desired. | ||
| − | + | For unknown reasons listings with line numbers by default don't get the nice box drawn around them. | |
| + | To restore this behaviour insert this at that top of your page: | ||
| + | <pre><nowiki><css> | ||
| + | .source-java { border:#2F6FAB 1px dashed; background-color:#F9F9F9; padding:4px; } | ||
| + | .source-otj { border:#2F6FAB 1px dashed; background-color:#F9F9F9; padding:4px; } | ||
| + | </css></nowiki></pre> | ||
| + | |||
| + | ==Object Teams Wiki Templates== | ||
We currently have one OT-specific wiki template: [[Template:Otjld]], which can be used to easily insert links to selected paragraphs of the OTJLD (OT/J Language Definition). | We currently have one OT-specific wiki template: [[Template:Otjld]], which can be used to easily insert links to selected paragraphs of the OTJLD (OT/J Language Definition). | ||
| − | + | ==Wiki Categories== | |
Currently we maintain these categories: | Currently we maintain these categories: | ||
* [[:Category:Object Teams]] | * [[:Category:Object Teams]] | ||
Revision as of 06:04, 24 February 2010
Source code listings
Please enclose any listings of OT/J code like this
<source lang="otj" line="1">
public team class MyFirstTeam {}
</source>
Which renders as
public team class MyFirstTeam {}
The "line" option inserts line numbers in the left column, just omit this if no line number are desired.
For unknown reasons listings with line numbers by default don't get the nice box drawn around them. To restore this behaviour insert this at that top of your page:
<css>
.source-java { border:#2F6FAB 1px dashed; background-color:#F9F9F9; padding:4px; }
.source-otj { border:#2F6FAB 1px dashed; background-color:#F9F9F9; padding:4px; }
</css>
Object Teams Wiki Templates
We currently have one OT-specific wiki template: Template:Otjld, which can be used to easily insert links to selected paragraphs of the OTJLD (OT/J Language Definition).
Wiki Categories
Currently we maintain these categories:
For placing a new wiki page into one or more of these categories simply insert (at the bottom) something like the following text:
[[Category:Object Teams]]