Closed GoogleCodeExporter closed 9 years ago
It is easy to accidentally close a terminal and lose work.
Original issue reported on code.google.com by alr...@google.com on 5 Jul 2012 at 9:38
alr...@google.com
r2ae8338057b6
Original comment by alr...@google.com on 6 Jul 2012 at 8:24
Original issue reported on code.google.com by
alr...@google.com
on 5 Jul 2012 at 9:38