fixed really all bugs, for real

device/ps2controller.cc

@@ -122,10 +122,7 @@ bool fetch(Key &pressed) {
 
   pressed = key_decoder.decode(out_buffer);
 
-  if (pressed.alt() || pressed.ctrl() || !pressed.valid())
-    return false;
-  else
-    return true;
+  return true;
 }
 
 void setRepeatRate(Speed speed, Delay delay) {

device/textstream.h

@@ -20,7 +20,7 @@
  * \ref TextWindow and only implements the method \ref TextStream::flush().
  * Further formatting or special effects are implemented in \ref TextWindow.
  */
-class TextStream: public OutputStream, protected TextWindow {
+class TextStream: public OutputStream, public TextWindow {
   // Prevent copies and assignments
   TextStream(const TextStream&) = delete;
   TextStream& operator=(const TextStream&) = delete;