|
@@ -66,7 +66,7 @@ ostream c0out(0);
|
|
|
ostream c1out(0);
|
|
ostream c1out(0);
|
|
|
ostream c2out(0);
|
|
ostream c2out(0);
|
|
|
ofstream devnull("/dev/null");
|
|
ofstream devnull("/dev/null");
|
|
|
-unsigned int ScreenWidth = 80;
|
|
|
|
|
|
|
+unsigned int ScreenWidth = 80 - 1; /* - 1 for the cursor */
|
|
|
|
|
|
|
|
// class CacheFile - Cover class for some dependency cache functions /*{{{*/
|
|
// class CacheFile - Cover class for some dependency cache functions /*{{{*/
|
|
|
// ---------------------------------------------------------------------
|
|
// ---------------------------------------------------------------------
|