+
+ // return the name of the Desktop Environment such as
+ // "KDE" or "GNOME". May return an empty string.
+ virtual wxString GetDesktopEnvironment() const = 0;
+
+ // returns a short string to identify the block of the standard command
+ // line options parsed automatically by current port: if this string is
+ // empty, there are no such options, otherwise the function also fills
+ // passed arrays with the names and the descriptions of those options.
+ virtual wxString GetStandardCmdLineOptions(wxArrayString& names,
+ wxArrayString& desc) const
+ {
+ wxUnusedVar(names);
+ wxUnusedVar(desc);
+
+ return wxEmptyString;
+ }
+
+
+protected:
+#if wxUSE_STACKWALKER
+ // utility function: returns the stack frame as a plain wxString
+ virtual wxString GetAssertStackTrace();
+#endif
+
+private:
+ static wxSocketManager *ms_manager;