$search
00001 00002 // C++ code generated with wxFormBuilder (version Sep 8 2010) 00003 // http://www.wxformbuilder.org/ 00004 // 00005 // PLEASE DO "NOT" EDIT THIS FILE! 00007 00008 #ifndef __rviz_generated__ 00009 #define __rviz_generated__ 00010 00011 #include <wx/sizer.h> 00012 #include <wx/gdicmn.h> 00013 #include <wx/panel.h> 00014 #include <wx/font.h> 00015 #include <wx/colour.h> 00016 #include <wx/settings.h> 00017 #include <wx/string.h> 00018 #include <wx/html/htmlwin.h> 00019 #include <wx/statbox.h> 00020 #include <wx/button.h> 00021 #include <wx/treectrl.h> 00022 #include <wx/stattext.h> 00023 #include <wx/textctrl.h> 00024 #include <wx/dialog.h> 00025 #include <wx/choice.h> 00026 #include <wx/listbox.h> 00027 #include <wx/scrolwin.h> 00028 #include <wx/bitmap.h> 00029 #include <wx/image.h> 00030 #include <wx/icon.h> 00031 #include <wx/bmpbuttn.h> 00032 00034 00035 00039 class DisplaysPanelGenerated : public wxPanel 00040 { 00041 private: 00042 00043 protected: 00044 wxPanel* properties_panel_; 00045 wxBoxSizer* properties_panel_sizer_; 00046 wxHtmlWindow* help_html_; 00047 wxButton* new_display_; 00048 wxButton* delete_display_; 00049 wxButton* manage_; 00050 00051 // Virtual event handlers, overide them in your derived class 00052 virtual void onNewDisplay( wxCommandEvent& event ) { event.Skip(); } 00053 virtual void onDeleteDisplay( wxCommandEvent& event ) { event.Skip(); } 00054 virtual void onManage( wxCommandEvent& event ) { event.Skip(); } 00055 00056 00057 public: 00058 00059 DisplaysPanelGenerated( wxWindow* parent, wxWindowID id = wxID_ANY, const wxPoint& pos = wxDefaultPosition, const wxSize& size = wxSize( 500,300 ), long style = wxTAB_TRAVERSAL ); 00060 ~DisplaysPanelGenerated(); 00061 00062 }; 00063 00067 class NewDisplayDialogGenerated : public wxDialog 00068 { 00069 private: 00070 00071 protected: 00072 wxTreeCtrl* types_; 00073 wxStaticText* m_staticText2; 00074 wxHtmlWindow* type_description_; 00075 wxTextCtrl* name_; 00076 wxStdDialogButtonSizer* m_sdbSizer1; 00077 wxButton* m_sdbSizer1OK; 00078 wxButton* m_sdbSizer1Cancel; 00079 00080 // Virtual event handlers, overide them in your derived class 00081 virtual void onDisplayDClick( wxMouseEvent& event ) { event.Skip(); } 00082 virtual void onDisplaySelected( wxTreeEvent& event ) { event.Skip(); } 00083 virtual void onNameEnter( wxCommandEvent& event ) { event.Skip(); } 00084 virtual void onCancel( wxCommandEvent& event ) { event.Skip(); } 00085 virtual void onOK( wxCommandEvent& event ) { event.Skip(); } 00086 00087 00088 public: 00089 00090 NewDisplayDialogGenerated( wxWindow* parent, wxWindowID id = wxID_ANY, const wxString& title = wxT("New Display"), const wxPoint& pos = wxDefaultPosition, const wxSize& size = wxSize( 485,497 ), long style = wxDEFAULT_DIALOG_STYLE|wxRESIZE_BORDER ); 00091 ~NewDisplayDialogGenerated(); 00092 00093 }; 00094 00098 class ViewsPanelGenerated : public wxPanel 00099 { 00100 private: 00101 00102 protected: 00103 wxChoice* camera_types_; 00104 wxListBox* views_list_; 00105 wxButton* save_button_; 00106 wxButton* load_button_; 00107 wxButton* delete_button_; 00108 00109 // Virtual event handlers, overide them in your derived class 00110 virtual void onCameraTypeSelected( wxCommandEvent& event ) { event.Skip(); } 00111 virtual void onViewsClicked( wxCommandEvent& event ) { event.Skip(); } 00112 virtual void onViewsDClicked( wxCommandEvent& event ) { event.Skip(); } 00113 virtual void onSaveClicked( wxCommandEvent& event ) { event.Skip(); } 00114 virtual void onLoadClicked( wxCommandEvent& event ) { event.Skip(); } 00115 virtual void onDeleteClicked( wxCommandEvent& event ) { event.Skip(); } 00116 00117 00118 public: 00119 00120 ViewsPanelGenerated( wxWindow* parent, wxWindowID id = wxID_ANY, const wxPoint& pos = wxDefaultPosition, const wxSize& size = wxSize( 236,242 ), long style = wxTAB_TRAVERSAL ); 00121 ~ViewsPanelGenerated(); 00122 00123 }; 00124 00128 class TimePanelGenerated : public wxPanel 00129 { 00130 private: 00131 00132 protected: 00133 wxStaticText* m_staticText2; 00134 wxTextCtrl* wall_time_; 00135 wxStaticText* m_staticText21; 00136 wxTextCtrl* wall_elapsed_; 00137 wxStaticText* m_staticText22; 00138 wxTextCtrl* ros_time_; 00139 wxStaticText* m_staticText23; 00140 wxTextCtrl* ros_elapsed_; 00141 wxButton* reset_button_; 00142 00143 // Virtual event handlers, overide them in your derived class 00144 virtual void onReset( wxCommandEvent& event ) { event.Skip(); } 00145 00146 00147 public: 00148 00149 TimePanelGenerated( wxWindow* parent, wxWindowID id = wxID_ANY, const wxPoint& pos = wxDefaultPosition, const wxSize& size = wxSize( 917,46 ), long style = wxTAB_TRAVERSAL ); 00150 ~TimePanelGenerated(); 00151 00152 }; 00153 00157 class PluginManagerDialogGenerated : public wxDialog 00158 { 00159 private: 00160 00161 protected: 00162 wxStaticText* m_staticText9; 00163 wxScrolledWindow* scrolled_window_; 00164 wxBoxSizer* plugins_sizer_; 00165 wxStdDialogButtonSizer* m_sdbSizer2; 00166 wxButton* m_sdbSizer2OK; 00167 00168 public: 00169 00170 PluginManagerDialogGenerated( wxWindow* parent, wxWindowID id = wxID_ANY, const wxString& title = wxT("Manage Plugins"), const wxPoint& pos = wxDefaultPosition, const wxSize& size = wxSize( 651,357 ), long style = wxDEFAULT_DIALOG_STYLE ); 00171 ~PluginManagerDialogGenerated(); 00172 00173 }; 00174 00178 class WaitForMasterDialogGenerated : public wxDialog 00179 { 00180 private: 00181 00182 protected: 00183 wxStaticText* text_; 00184 wxButton* cancel_button_; 00185 00186 // Virtual event handlers, overide them in your derived class 00187 virtual void onClose( wxCloseEvent& event ) { event.Skip(); } 00188 virtual void onCancel( wxCommandEvent& event ) { event.Skip(); } 00189 00190 00191 public: 00192 00193 WaitForMasterDialogGenerated( wxWindow* parent, wxWindowID id = wxID_ANY, const wxString& title = wxT("rviz: Waiting for Master"), const wxPoint& pos = wxDefaultPosition, const wxSize& size = wxSize( 552,96 ), long style = wxDEFAULT_DIALOG_STYLE ); 00194 ~WaitForMasterDialogGenerated(); 00195 00196 }; 00197 00201 class ManageDisplaysDialogGenerated : public wxDialog 00202 { 00203 private: 00204 00205 protected: 00206 wxListBox* listbox_; 00207 wxBitmapButton* move_down_; 00208 wxBitmapButton* move_up_; 00209 wxButton* remove_; 00210 wxButton* remove_all_; 00211 wxButton* rename_; 00212 wxButton* ok_; 00213 00214 // Virtual event handlers, overide them in your derived class 00215 virtual void onMoveDown( wxCommandEvent& event ) { event.Skip(); } 00216 virtual void onMoveUp( wxCommandEvent& event ) { event.Skip(); } 00217 virtual void onRemove( wxCommandEvent& event ) { event.Skip(); } 00218 virtual void onRemoveAll( wxCommandEvent& event ) { event.Skip(); } 00219 virtual void onRename( wxCommandEvent& event ) { event.Skip(); } 00220 virtual void onOK( wxCommandEvent& event ) { event.Skip(); } 00221 00222 00223 public: 00224 00225 ManageDisplaysDialogGenerated( wxWindow* parent, wxWindowID id = wxID_ANY, const wxString& title = wxEmptyString, const wxPoint& pos = wxDefaultPosition, const wxSize& size = wxSize( 520,353 ), long style = wxDEFAULT_DIALOG_STYLE ); 00226 ~ManageDisplaysDialogGenerated(); 00227 00228 }; 00229 00230 #endif //__rviz_generated__