public String filter(String text) {
   if (outputPane.getDebugOutputFilter() == this && buttonModel.isSelected()) {
     last = buffer.length();
     buffer.append(text);
     outputPane.setText(buffer.toString(), last);
   }
   if (outputFilter != null) return outputFilter.filter(text);
   return text;
 }
 public void showText() {
   outputPane.setText(buffer.toString(), last);
 }