consolebuffer.py: better name for a parameter

darcs-hash:20081118080453-b2873-8ddaf89fb03ff2d5122c5fbcac16d75ef2784611