Ctrl-L repaints screen

parseraction.cpp

@@ -70,6 +70,9 @@ void UserByte::act_on_terminal( Terminal::Emulator *emu )
 {
   emu->dispatch.terminal_to_host.append( emu->user.input( this,
 							  emu->fb.ds.application_mode_cursor_keys ) );
+  if ( c == 0x0c ) { /* Ctrl-L */
+    emu->display.invalidate();
+  }
 }
 
 void Resize::act_on_terminal( Terminal::Emulator *emu )

terminal.hpp

@@ -25,6 +25,7 @@ namespace Terminal {
     {}
 
     std::string new_frame( Framebuffer &f );
+    void invalidate( void ) { initialized = false; }
   };
 
   class Emulator {