71 void add_char (char ch); |
71 void add_char (char ch); |
72 void finalize(); |
72 void finalize(); |
73 int rows (int cols) const; |
73 int rows (int cols) const; |
74 |
74 |
75 private: |
75 private: |
|
76 void activate_color (Color color, bool bold); |
76 void set_color (Color a, bool on); |
77 void set_color (Color a, bool on); |
77 |
78 |
78 Vector<int> m_data; |
79 Vector<int> m_data; |
79 int m_length; |
80 int m_length; |
80 bool m_final; |
81 bool m_final; |
81 Color m_activeColor; |
82 Color m_activeColor; |
82 bool m_boldActive; |
83 bool m_boldActive; |
83 int m_colorCodeStage; |
84 int m_colorCodeStage; |
84 String m_string; |
85 String m_string; |
|
86 String m_incomingColorName; |
85 }; |
87 }; |
86 |
88 |
87 END_ZFC_NAMESPACE |
89 END_ZFC_NAMESPACE |