+#ifdef __WXGTK20__
+ // Our text buffer. Convenient, and holds the buffer while using
+ // a dummy one when m_frozenness > 0
+ GtkTextBuffer *m_buffer;
+
+ // number of calls to Freeze() minus number of calls to Thaw()
+ unsigned int m_frozenness;
+#endif
+