00001
00002
00003
00004
00005
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
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
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
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
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
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
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__