Better speculative local echo/editing. Also outputs debugging/timing info

terminalframebuffer.hpp

@@ -61,6 +61,8 @@ namespace Terminal {
 	       && (width == x.width)
 	       && (renditions == x.renditions) );
     }
+
+    wchar_t debug_contents( void ) const;
   };
 
   class Row {
@@ -179,7 +181,7 @@ namespace Terminal {
   class Framebuffer {
   private:
     std::deque<Row> rows;
-    std::vector<wchar_t> window_title;
+    std::deque<wchar_t> window_title;
 
     Row newrow( void ) { return Row( ds.get_width(), ds.get_background_rendition() ); }
 
@@ -243,8 +245,10 @@ namespace Terminal {
     void reset( void );
     void soft_reset( void );
 
-    void set_window_title( std::vector<wchar_t> s ) { window_title = s; }
-    std::vector<wchar_t> get_window_title( void ) const { return window_title; }
+    void set_window_title( const std::deque<wchar_t> &s ) { window_title = s; }
+    const std::deque<wchar_t> & get_window_title( void ) const { return window_title; }
+
+    void prefix_window_title( const std::deque<wchar_t> &s );
 
     void resize( int s_width, int s_height );