67 ColoredLine(); |
67 ColoredLine(); |
68 |
68 |
69 const Vector<int>& data() const { return m_data; } |
69 const Vector<int>& data() const { return m_data; } |
70 int length() const { return m_length; } |
70 int length() const { return m_length; } |
71 void add_char (char ch); |
71 void add_char (char ch); |
|
72 void add_string (const String& msg); |
72 void finalize(); |
73 void finalize(); |
73 int rows (int cols) const; |
74 int rows (int cols) const; |
74 |
75 |
75 private: |
76 private: |
76 void activate_color (Color color, bool bold); |
77 void activate_color (Color color, bool bold); |