Add Reopen option to the menu.
authorRichard W.M. Jones <rjones@redhat.com>
Fri, 29 Jul 2011 11:26:39 +0000 (12:26 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Fri, 29 Jul 2011 11:26:39 +0000 (12:26 +0100)
commitf53eb0cec9cd5272de5b0e9009b27231ed252487
tree4d4a8c1dfc4152cdd90c78e4a60048d6a9f6f80c
parentc21ba5da9a0319c172ef7759dc4771f07d3f72e9
Add Reopen option to the menu.

There's a small problem here which is that we lose the original guest
name.  We need to store it somewhere, although it's not clear which
component should be storing it (probably the Window).
main.ml
slave.ml
slave.mli
window.ml
window.mli