+#if wxUSE_RICHEDIT
+ // replace the selection with the given text in the specified encoding
+ bool StreamIn(const wxString& value, wxFontEncoding encoding);
+#endif // wxUSE_RICHEDIT
+
+ // set the selection possibly without scrolling the caret into view
+ void DoSetSelection(long from, long to, bool scrollCaret = TRUE);
+