int GetInterval();
};
+//---------------------------------------------------------------------------
+
+class wxTextUrlEvent : public wxCommandEvent
+{
+public:
+ wxTextUrlEvent(int id, const wxMouseEvent& evtMouse,
+ long start, long end);
+ const wxMouseEvent& GetMouseEvent();
+ long GetURLStart();
+ long GetURLEnd();
+};
//---------------------------------------------------------------------------
//---------------------------------------------------------------------------