void Cut();
void Copy();
void Paste();
- void Delete();
+ void Clear();
void OnChar( wxKeyEvent &event );
wxTextCtrl& operator<<(const char c);
void SetFont( const wxFont &font );
-
+ virtual void SetBackgroundColour(const wxColour &colour);
+
// implementation
GtkWidget* GetConnectWidget(void);