It seems, after using lanterna in private mode, the keyboard shortcut ctrl+d
won't work. This has probably something to do with lanterna not properly
restoring some terminal settings after exiting.
Original issue reported on code.google.com by mab...@gmail.com on 6 Jun 2012 at 1:46
Original issue reported on code.google.com by
mab...@gmail.com
on 6 Jun 2012 at 1:46