doc:user:elements:shells:shell
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| doc:user:elements:shells:shell [2014/10/03 16:55] – joris | doc:user:elements:shells:shell [2016/03/30 15:23] (current) – external edit 127.0.0.1 | ||
|---|---|---|---|
| Line 85: | Line 85: | ||
| ^ | ^ | ||
| | '' | | '' | ||
| - | | '' | + | | '' |
| | '' | | '' | ||
| | '' | | '' | ||
| Line 100: | Line 100: | ||
| ... | ... | ||
| app.addProperty(prp) | app.addProperty(prp) | ||
| - | interactionset.add(app) | + | interactionset.add(app) |
| or | or | ||
doc/user/elements/shells/shell.1412348110.txt.gz · Last modified: (external edit)
