--- Terminal.ui 2006-02-20 21:42:00.000000000 +0200 +++ Terminal.ui.2 2006-05-31 13:39:52.000000000 +0300 @@ -60,6 +60,7 @@ +