# 
# patch "ui.cc"
#  from [04baa46b04ab5e5bbbced3b727de1ca2d30560b3]
#    to [b06e19535d68d00f01c8ab33848e79f1942c9532]
# 
--- ui.cc
+++ ui.cc
@@ -125,14 +125,6 @@
       tickline.resize(tw + 1);
     }
 
-  unsigned int tw = terminal_width();
-  if (tw && tickline.size() > tw)
-    {
-      // first character in tickline is "\r", which does not take up any
-      // width, so we add 1 to compensate.
-      tickline.resize(tw + 1);
-    }
-
   clog << tickline;
   clog.flush();
 }