session: give a session_token as $opener for session-opened buffers
commita0a9f93425a8e9832f14a2de9f2130ffd74965b9
authorJohn Foerch <jjfoerch@earthlink.net>
Sun, 18 Dec 2011 21:21:00 +0000 (18 16:21 -0500)
committerJohn Foerch <jjfoerch@earthlink.net>
Sun, 18 Dec 2011 21:21:00 +0000 (18 16:21 -0500)
treeeff7c7e4ab51e005362390068d8004428fc8863e
parentdff21bfb23fb1008d2da25d96b281900c09ad589
session: give a session_token as $opener for session-opened buffers

This allows code run at buffer-creation time to know whether the buffer
was created by a session or by other means.  The known use case for this
is with the content-delay tip --- it allows delayed loading of buffers
that were opened by a session, but normal loading for buffers opened in
the background by other means.
modules/session.js