430             // erase memory if currently in other style
432                 mDisplay.erase();
433                 mNonDisplay.erase();
447             mTextMem.erase();
453             // erase display memory
454             mDisplay.erase();
468             // erase non-display memory
469             mNonDisplay.erase();
770         void erase() {
771             // erase all lines
804                     // back to col 31 and erase both col 31&32

Indexes created Sun Sep 10 09:05:34 CEST 2017