const wxString& WXUNUSED(url),
wxString *WXUNUSED(redirect)) const
{ return wxHTML_OPEN; }
+
+#if wxUSE_CLIPBOARD
+ // Helper functions to select parts of page:
+ void SelectWord(const wxPoint& pos);
+ void SelectLine(const wxPoint& pos);
+ void SelectAll();
+#endif
+ virtual void ApplyParentThemeBackground(const wxColour& WXUNUSED(bg))
+ { /* do nothing */ }
+
protected:
void Init();
};
// Copies selection to clipboard if the clipboard support is available
- void CopySelection(ClipboardType t = Secondary);
+ //
+ // returns true if anything was copied to clipboard, false otherwise
+ bool CopySelection(ClipboardType t = Secondary);
#if wxUSE_CLIPBOARD
// Convert selection to text:
wxString SelectionToText();
- // Helper functions to select parts of page:
- void SelectWord(const wxPoint& pos);
- void SelectLine(const wxPoint& pos);
-
// Automatic scrolling during selection:
void StopAutoScrolling();
#endif // wxUSE_CLIPBOARD