diff options
| author | David Herrmann <dh.herrmann@gmail.com> | 2014-09-22 17:37:21 +0200 |
|---|---|---|
| committer | David Herrmann <dh.herrmann@gmail.com> | 2014-09-22 18:14:44 +0200 |
| commit | f2a15d86ccd0729e1442f40679cd393417e1e177 (patch) | |
| tree | 6ebd5218d2df0cfaa2192ee81798ebd631c6621c /.gitignore | |
| parent | 5d301b8aecc286d6ec7e92b0864d66360ea57205 (diff) | |
terminal: allow user-context to be retrieved/stored
Add "userdata" storage to a bunch of external objects, namely displays and
sessions. Furthermore, add some property retrieval helpers.
This is required if we want external API users to not duplicate our own
object hashtables, but retrieve context from the objects themselves.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions