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: 2016/03/30 15:22 (external edit)