00001 #ifndef UI_GENERAL_MENU_H
00002 #define UI_GENERAL_MENU_H
00003
00004 #include <QtCore/QVariant>
00005 #include <QtGui/QAction>
00006 #include <QtGui/QApplication>
00007 #include <QtGui/QButtonGroup>
00008 #include <QtGui/QDialog>
00009 #include <QtGui/QHBoxLayout>
00010 #include <QtGui/QLabel>
00011 #include <QtGui/QLineEdit>
00012 #include <QtGui/QPushButton>
00013 #include <QtGui/QSpacerItem>
00014 #include <QtGui/QToolBox>
00015 #include <QtGui/QVBoxLayout>
00016 #include <QtGui/QWidget>
00017
00018 class Ui_GeneralMenu
00019 {
00020 public:
00021 QVBoxLayout *vboxLayout;
00022 QToolBox *toolBox;
00023 QWidget *terminal_page;
00024 QVBoxLayout *vboxLayout1;
00025 QHBoxLayout *hboxLayout;
00026 QLabel *font_text_label;
00027 QLabel *font_label;
00028 QPushButton *font_button;
00029 QHBoxLayout *hboxLayout1;
00030 QLabel *color_text_label;
00031 QPushButton *color_label;
00032 QPushButton *error_example_label;
00033 QPushButton *error_button;
00034 QPushButton *background_button;
00035 QPushButton *foreground_button;
00036 QHBoxLayout *hboxLayout2;
00037 QLabel *max_line_label;
00038 QLineEdit *max_line_num_lineEdit;
00039 QHBoxLayout *hboxLayout3;
00040 QLabel *max_col_label;
00041 QLineEdit *max_col_in_terminal_lineEdit;
00042 QSpacerItem *spacerItem;
00043 QWidget *editor_page;
00044 QVBoxLayout *vboxLayout2;
00045 QHBoxLayout *hboxLayout4;
00046 QLabel *editor_label;
00047 QLineEdit *editor_lineEdit;
00048 QHBoxLayout *hboxLayout5;
00049 QSpacerItem *spacerItem1;
00050 QPushButton *editor_select_button;
00051 QSpacerItem *spacerItem2;
00052 QWidget *help_page;
00053 QVBoxLayout *vboxLayout3;
00054 QHBoxLayout *hboxLayout6;
00055 QLabel *help_path_label;
00056 QLineEdit *help_path_lineEdit;
00057 QHBoxLayout *hboxLayout7;
00058 QSpacerItem *spacerItem3;
00059 QPushButton *help_path_select_pushButton;
00060 QSpacerItem *spacerItem4;
00061 QHBoxLayout *hboxLayout8;
00062 QSpacerItem *spacerItem5;
00063 QPushButton *okButton;
00064 QPushButton *cancelButton;
00065
00066 void setupUi(QDialog *GeneralMenu)
00067 {
00068 GeneralMenu->setObjectName(QString::fromUtf8("GeneralMenu"));
00069 GeneralMenu->resize(QSize(728, 402).expandedTo(GeneralMenu->minimumSizeHint()));
00070 GeneralMenu->setWindowIcon(QIcon());
00071 vboxLayout = new QVBoxLayout(GeneralMenu);
00072 vboxLayout->setSpacing(0);
00073 vboxLayout->setMargin(0);
00074 vboxLayout->setObjectName(QString::fromUtf8("vboxLayout"));
00075 toolBox = new QToolBox(GeneralMenu);
00076 toolBox->setObjectName(QString::fromUtf8("toolBox"));
00077 terminal_page = new QWidget();
00078 terminal_page->setObjectName(QString::fromUtf8("terminal_page"));
00079 terminal_page->setGeometry(QRect(0, 0, 728, 276));
00080 vboxLayout1 = new QVBoxLayout(terminal_page);
00081 vboxLayout1->setSpacing(6);
00082 vboxLayout1->setMargin(9);
00083 vboxLayout1->setObjectName(QString::fromUtf8("vboxLayout1"));
00084 hboxLayout = new QHBoxLayout();
00085 hboxLayout->setSpacing(6);
00086 hboxLayout->setMargin(0);
00087 hboxLayout->setObjectName(QString::fromUtf8("hboxLayout"));
00088 font_text_label = new QLabel(terminal_page);
00089 font_text_label->setObjectName(QString::fromUtf8("font_text_label"));
00090 QSizePolicy sizePolicy(static_cast<QSizePolicy::Policy>(5), static_cast<QSizePolicy::Policy>(5));
00091 sizePolicy.setHorizontalStretch(0);
00092 sizePolicy.setVerticalStretch(0);
00093 sizePolicy.setHeightForWidth(font_text_label->sizePolicy().hasHeightForWidth());
00094 font_text_label->setSizePolicy(sizePolicy);
00095
00096 hboxLayout->addWidget(font_text_label);
00097
00098 font_label = new QLabel(terminal_page);
00099 font_label->setObjectName(QString::fromUtf8("font_label"));
00100 QSizePolicy sizePolicy1(static_cast<QSizePolicy::Policy>(3), static_cast<QSizePolicy::Policy>(5));
00101 sizePolicy1.setHorizontalStretch(0);
00102 sizePolicy1.setVerticalStretch(0);
00103 sizePolicy1.setHeightForWidth(font_label->sizePolicy().hasHeightForWidth());
00104 font_label->setSizePolicy(sizePolicy1);
00105
00106 hboxLayout->addWidget(font_label);
00107
00108 font_button = new QPushButton(terminal_page);
00109 font_button->setObjectName(QString::fromUtf8("font_button"));
00110
00111 hboxLayout->addWidget(font_button);
00112
00113
00114 vboxLayout1->addLayout(hboxLayout);
00115
00116 hboxLayout1 = new QHBoxLayout();
00117 hboxLayout1->setSpacing(6);
00118 hboxLayout1->setMargin(0);
00119 hboxLayout1->setObjectName(QString::fromUtf8("hboxLayout1"));
00120 color_text_label = new QLabel(terminal_page);
00121 color_text_label->setObjectName(QString::fromUtf8("color_text_label"));
00122
00123 hboxLayout1->addWidget(color_text_label);
00124
00125 color_label = new QPushButton(terminal_page);
00126 color_label->setObjectName(QString::fromUtf8("color_label"));
00127 QSizePolicy sizePolicy2(static_cast<QSizePolicy::Policy>(3), static_cast<QSizePolicy::Policy>(0));
00128 sizePolicy2.setHorizontalStretch(0);
00129 sizePolicy2.setVerticalStretch(0);
00130 sizePolicy2.setHeightForWidth(color_label->sizePolicy().hasHeightForWidth());
00131 color_label->setSizePolicy(sizePolicy2);
00132
00133 hboxLayout1->addWidget(color_label);
00134
00135 error_example_label = new QPushButton(terminal_page);
00136 error_example_label->setObjectName(QString::fromUtf8("error_example_label"));
00137
00138 hboxLayout1->addWidget(error_example_label);
00139
00140 error_button = new QPushButton(terminal_page);
00141 error_button->setObjectName(QString::fromUtf8("error_button"));
00142
00143 hboxLayout1->addWidget(error_button);
00144
00145 background_button = new QPushButton(terminal_page);
00146 background_button->setObjectName(QString::fromUtf8("background_button"));
00147
00148 hboxLayout1->addWidget(background_button);
00149
00150 foreground_button = new QPushButton(terminal_page);
00151 foreground_button->setObjectName(QString::fromUtf8("foreground_button"));
00152
00153 hboxLayout1->addWidget(foreground_button);
00154
00155
00156 vboxLayout1->addLayout(hboxLayout1);
00157
00158 hboxLayout2 = new QHBoxLayout();
00159 hboxLayout2->setSpacing(6);
00160 hboxLayout2->setMargin(0);
00161 hboxLayout2->setObjectName(QString::fromUtf8("hboxLayout2"));
00162 max_line_label = new QLabel(terminal_page);
00163 max_line_label->setObjectName(QString::fromUtf8("max_line_label"));
00164
00165 hboxLayout2->addWidget(max_line_label);
00166
00167 max_line_num_lineEdit = new QLineEdit(terminal_page);
00168 max_line_num_lineEdit->setObjectName(QString::fromUtf8("max_line_num_lineEdit"));
00169
00170 hboxLayout2->addWidget(max_line_num_lineEdit);
00171
00172
00173 vboxLayout1->addLayout(hboxLayout2);
00174
00175 hboxLayout3 = new QHBoxLayout();
00176 hboxLayout3->setSpacing(6);
00177 hboxLayout3->setMargin(0);
00178 hboxLayout3->setObjectName(QString::fromUtf8("hboxLayout3"));
00179 max_col_label = new QLabel(terminal_page);
00180 max_col_label->setObjectName(QString::fromUtf8("max_col_label"));
00181
00182 hboxLayout3->addWidget(max_col_label);
00183
00184 max_col_in_terminal_lineEdit = new QLineEdit(terminal_page);
00185 max_col_in_terminal_lineEdit->setObjectName(QString::fromUtf8("max_col_in_terminal_lineEdit"));
00186
00187 hboxLayout3->addWidget(max_col_in_terminal_lineEdit);
00188
00189
00190 vboxLayout1->addLayout(hboxLayout3);
00191
00192 spacerItem = new QSpacerItem(20, 40, QSizePolicy::Minimum, QSizePolicy::Expanding);
00193
00194 vboxLayout1->addItem(spacerItem);
00195
00196 toolBox->addItem(terminal_page, QApplication::translate("GeneralMenu", "Terminal", 0, QApplication::UnicodeUTF8));
00197 editor_page = new QWidget();
00198 editor_page->setObjectName(QString::fromUtf8("editor_page"));
00199 editor_page->setGeometry(QRect(0, 0, 96, 26));
00200 vboxLayout2 = new QVBoxLayout(editor_page);
00201 vboxLayout2->setSpacing(6);
00202 vboxLayout2->setMargin(9);
00203 vboxLayout2->setObjectName(QString::fromUtf8("vboxLayout2"));
00204 hboxLayout4 = new QHBoxLayout();
00205 hboxLayout4->setSpacing(6);
00206 hboxLayout4->setMargin(0);
00207 hboxLayout4->setObjectName(QString::fromUtf8("hboxLayout4"));
00208 editor_label = new QLabel(editor_page);
00209 editor_label->setObjectName(QString::fromUtf8("editor_label"));
00210
00211 hboxLayout4->addWidget(editor_label);
00212
00213 editor_lineEdit = new QLineEdit(editor_page);
00214 editor_lineEdit->setObjectName(QString::fromUtf8("editor_lineEdit"));
00215
00216 hboxLayout4->addWidget(editor_lineEdit);
00217
00218
00219 vboxLayout2->addLayout(hboxLayout4);
00220
00221 hboxLayout5 = new QHBoxLayout();
00222 hboxLayout5->setSpacing(6);
00223 hboxLayout5->setMargin(0);
00224 hboxLayout5->setObjectName(QString::fromUtf8("hboxLayout5"));
00225 spacerItem1 = new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);
00226
00227 hboxLayout5->addItem(spacerItem1);
00228
00229 editor_select_button = new QPushButton(editor_page);
00230 editor_select_button->setObjectName(QString::fromUtf8("editor_select_button"));
00231
00232 hboxLayout5->addWidget(editor_select_button);
00233
00234
00235 vboxLayout2->addLayout(hboxLayout5);
00236
00237 spacerItem2 = new QSpacerItem(20, 40, QSizePolicy::Minimum, QSizePolicy::Expanding);
00238
00239 vboxLayout2->addItem(spacerItem2);
00240
00241 toolBox->addItem(editor_page, QApplication::translate("GeneralMenu", "External Editor", 0, QApplication::UnicodeUTF8));
00242 help_page = new QWidget();
00243 help_page->setObjectName(QString::fromUtf8("help_page"));
00244 help_page->setGeometry(QRect(0, 0, 96, 26));
00245 vboxLayout3 = new QVBoxLayout(help_page);
00246 vboxLayout3->setSpacing(6);
00247 vboxLayout3->setMargin(9);
00248 vboxLayout3->setObjectName(QString::fromUtf8("vboxLayout3"));
00249 hboxLayout6 = new QHBoxLayout();
00250 hboxLayout6->setSpacing(6);
00251 hboxLayout6->setMargin(0);
00252 hboxLayout6->setObjectName(QString::fromUtf8("hboxLayout6"));
00253 help_path_label = new QLabel(help_page);
00254 help_path_label->setObjectName(QString::fromUtf8("help_path_label"));
00255
00256 hboxLayout6->addWidget(help_path_label);
00257
00258 help_path_lineEdit = new QLineEdit(help_page);
00259 help_path_lineEdit->setObjectName(QString::fromUtf8("help_path_lineEdit"));
00260
00261 hboxLayout6->addWidget(help_path_lineEdit);
00262
00263
00264 vboxLayout3->addLayout(hboxLayout6);
00265
00266 hboxLayout7 = new QHBoxLayout();
00267 hboxLayout7->setSpacing(6);
00268 hboxLayout7->setMargin(0);
00269 hboxLayout7->setObjectName(QString::fromUtf8("hboxLayout7"));
00270 spacerItem3 = new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);
00271
00272 hboxLayout7->addItem(spacerItem3);
00273
00274 help_path_select_pushButton = new QPushButton(help_page);
00275 help_path_select_pushButton->setObjectName(QString::fromUtf8("help_path_select_pushButton"));
00276
00277 hboxLayout7->addWidget(help_path_select_pushButton);
00278
00279
00280 vboxLayout3->addLayout(hboxLayout7);
00281
00282 spacerItem4 = new QSpacerItem(20, 40, QSizePolicy::Minimum, QSizePolicy::Expanding);
00283
00284 vboxLayout3->addItem(spacerItem4);
00285
00286 toolBox->addItem(help_page, QApplication::translate("GeneralMenu", "Help", 0, QApplication::UnicodeUTF8));
00287
00288 vboxLayout->addWidget(toolBox);
00289
00290 hboxLayout8 = new QHBoxLayout();
00291 hboxLayout8->setSpacing(6);
00292 hboxLayout8->setMargin(0);
00293 hboxLayout8->setObjectName(QString::fromUtf8("hboxLayout8"));
00294 spacerItem5 = new QSpacerItem(131, 31, QSizePolicy::Expanding, QSizePolicy::Minimum);
00295
00296 hboxLayout8->addItem(spacerItem5);
00297
00298 okButton = new QPushButton(GeneralMenu);
00299 okButton->setObjectName(QString::fromUtf8("okButton"));
00300
00301 hboxLayout8->addWidget(okButton);
00302
00303 cancelButton = new QPushButton(GeneralMenu);
00304 cancelButton->setObjectName(QString::fromUtf8("cancelButton"));
00305
00306 hboxLayout8->addWidget(cancelButton);
00307
00308
00309 vboxLayout->addLayout(hboxLayout8);
00310
00311 retranslateUi(GeneralMenu);
00312 QObject::connect(okButton, SIGNAL(clicked()), GeneralMenu, SLOT(accept()));
00313 QObject::connect(cancelButton, SIGNAL(clicked()), GeneralMenu, SLOT(reject()));
00314
00315 toolBox->setCurrentIndex(0);
00316
00317
00318 QMetaObject::connectSlotsByName(GeneralMenu);
00319 }
00320
00321 void retranslateUi(QDialog *GeneralMenu)
00322 {
00323 GeneralMenu->setWindowTitle(QApplication::translate("GeneralMenu", "General Menu", 0, QApplication::UnicodeUTF8));
00324 font_text_label->setText(QApplication::translate("GeneralMenu", "Font:", 0, QApplication::UnicodeUTF8));
00325 font_label->setText(QApplication::translate("GeneralMenu", "TextLabel", 0, QApplication::UnicodeUTF8));
00326 font_button->setText(QApplication::translate("GeneralMenu", "Select Font", 0, QApplication::UnicodeUTF8));
00327 color_text_label->setText(QApplication::translate("GeneralMenu", "Color:", 0, QApplication::UnicodeUTF8));
00328 color_label->setText(QApplication::translate("GeneralMenu", "QtOctave Terminal example", 0, QApplication::UnicodeUTF8));
00329 error_example_label->setText(QApplication::translate("GeneralMenu", "Error example", 0, QApplication::UnicodeUTF8));
00330 error_button->setText(QApplication::translate("GeneralMenu", "Error", 0, QApplication::UnicodeUTF8));
00331 background_button->setText(QApplication::translate("GeneralMenu", "Background", 0, QApplication::UnicodeUTF8));
00332 foreground_button->setText(QApplication::translate("GeneralMenu", "Foreground", 0, QApplication::UnicodeUTF8));
00333 max_line_label->setText(QApplication::translate("GeneralMenu", "Maximum number of lines in terminal:", 0, QApplication::UnicodeUTF8));
00334 max_col_label->setText(QApplication::translate("GeneralMenu", "Max number of columns in terminal:", 0, QApplication::UnicodeUTF8));
00335 toolBox->setItemText(toolBox->indexOf(terminal_page), QApplication::translate("GeneralMenu", "Terminal", 0, QApplication::UnicodeUTF8));
00336 editor_label->setText(QApplication::translate("GeneralMenu", "Editor", 0, QApplication::UnicodeUTF8));
00337 editor_select_button->setText(QApplication::translate("GeneralMenu", "Select...", 0, QApplication::UnicodeUTF8));
00338 toolBox->setItemText(toolBox->indexOf(editor_page), QApplication::translate("GeneralMenu", "External Editor", 0, QApplication::UnicodeUTF8));
00339 help_path_label->setText(QApplication::translate("GeneralMenu", "Help path", 0, QApplication::UnicodeUTF8));
00340 help_path_select_pushButton->setText(QApplication::translate("GeneralMenu", "Select...", 0, QApplication::UnicodeUTF8));
00341 toolBox->setItemText(toolBox->indexOf(help_page), QApplication::translate("GeneralMenu", "Help", 0, QApplication::UnicodeUTF8));
00342 okButton->setText(QApplication::translate("GeneralMenu", "OK", 0, QApplication::UnicodeUTF8));
00343 cancelButton->setText(QApplication::translate("GeneralMenu", "Cancel", 0, QApplication::UnicodeUTF8));
00344 Q_UNUSED(GeneralMenu);
00345 }
00346
00347 };
00348
00349 namespace Ui {
00350 class GeneralMenu: public Ui_GeneralMenu {};
00351 }
00352
00353 #endif // UI_GENERAL_MENU_H