ui_DlgEditor.h

Go to the documentation of this file.
00001 /********************************************************************************
00002 ** Form generated from reading ui file 'DlgEditor.ui'
00003 **
00004 ** Created: Wed 19. Oct 19:02:26 2011
00005 **      by: Qt User Interface Compiler version 4.5.2
00006 **
00007 ** WARNING! All changes made in this file will be lost when recompiling ui file!
00008 ********************************************************************************/
00009 
00010 #ifndef UI_DLGEDITOR_H
00011 #define UI_DLGEDITOR_H
00012 
00013 #include <QtCore/QVariant>
00014 #include <QtGui/QAction>
00015 #include <QtGui/QApplication>
00016 #include <QtGui/QButtonGroup>
00017 #include <QtGui/QComboBox>
00018 #include <QtGui/QGridLayout>
00019 #include <QtGui/QGroupBox>
00020 #include <QtGui/QHeaderView>
00021 #include <QtGui/QLabel>
00022 #include <QtGui/QSpacerItem>
00023 #include <QtGui/QTextEdit>
00024 #include <QtGui/QTreeWidget>
00025 #include <QtGui/QVBoxLayout>
00026 #include <QtGui/QWidget>
00027 #include "Gui/PrefWidgets.h"
00028 #include "Gui/Widgets.h"
00029 
00030 namespace Gui {
00031 namespace Dialog {
00032 
00033 class Ui_DlgEditorSettings
00034 {
00035 public:
00036     QGridLayout *gridLayout;
00037     QGroupBox *GroupBox2;
00038     QVBoxLayout *vboxLayout;
00039     Gui::PrefCheckBox *EnableLineNumber;
00040     Gui::PrefCheckBox *EnableFolding;
00041     QSpacerItem *spacerItem;
00042     QGroupBox *groupBoxIndent;
00043     QGridLayout *gridLayout1;
00044     Gui::PrefRadioButton *radioSpaces;
00045     QLabel *textLabel1;
00046     Gui::PrefSpinBox *tabSize;
00047     QLabel *textLabel2;
00048     Gui::PrefSpinBox *indentSize;
00049     Gui::PrefRadioButton *radioTabs;
00050     QGroupBox *GroupBox5;
00051     QGridLayout *gridLayout2;
00052     Gui::PrefSpinBox *fontSize;
00053     QTreeWidget *displayItems;
00054     Gui::ColorButton *colorButton;
00055     QLabel *TextLabel3;
00056     QLabel *TextLabel4;
00057     QComboBox *fontFamily;
00058     QLabel *label;
00059     QTextEdit *textEdit1;
00060 
00061     void setupUi(QWidget *Gui__Dialog__DlgEditorSettings)
00062     {
00063         if (Gui__Dialog__DlgEditorSettings->objectName().isEmpty())
00064             Gui__Dialog__DlgEditorSettings->setObjectName(QString::fromUtf8("Gui__Dialog__DlgEditorSettings"));
00065         Gui__Dialog__DlgEditorSettings->resize(494, 553);
00066         gridLayout = new QGridLayout(Gui__Dialog__DlgEditorSettings);
00067         gridLayout->setSpacing(6);
00068         gridLayout->setMargin(9);
00069         gridLayout->setObjectName(QString::fromUtf8("gridLayout"));
00070         GroupBox2 = new QGroupBox(Gui__Dialog__DlgEditorSettings);
00071         GroupBox2->setObjectName(QString::fromUtf8("GroupBox2"));
00072         vboxLayout = new QVBoxLayout(GroupBox2);
00073         vboxLayout->setSpacing(6);
00074         vboxLayout->setMargin(9);
00075         vboxLayout->setObjectName(QString::fromUtf8("vboxLayout"));
00076         EnableLineNumber = new Gui::PrefCheckBox(GroupBox2);
00077         EnableLineNumber->setObjectName(QString::fromUtf8("EnableLineNumber"));
00078         EnableLineNumber->setFocusPolicy(Qt::TabFocus);
00079         EnableLineNumber->setChecked(true);
00080         EnableLineNumber->setProperty("prefEntry", QVariant(QByteArray("EnableLineNumber")));
00081         EnableLineNumber->setProperty("prefPath", QVariant(QByteArray("Editor")));
00082 
00083         vboxLayout->addWidget(EnableLineNumber);
00084 
00085         EnableFolding = new Gui::PrefCheckBox(GroupBox2);
00086         EnableFolding->setObjectName(QString::fromUtf8("EnableFolding"));
00087         EnableFolding->setChecked(true);
00088         EnableFolding->setProperty("prefEntry", QVariant(QByteArray("EnableFolding")));
00089         EnableFolding->setProperty("prefPath", QVariant(QByteArray("Editor")));
00090 
00091         vboxLayout->addWidget(EnableFolding);
00092 
00093         spacerItem = new QSpacerItem(20, 40, QSizePolicy::Minimum, QSizePolicy::Ignored);
00094 
00095         vboxLayout->addItem(spacerItem);
00096 
00097 
00098         gridLayout->addWidget(GroupBox2, 1, 0, 1, 1);
00099 
00100         groupBoxIndent = new QGroupBox(Gui__Dialog__DlgEditorSettings);
00101         groupBoxIndent->setObjectName(QString::fromUtf8("groupBoxIndent"));
00102         gridLayout1 = new QGridLayout(groupBoxIndent);
00103         gridLayout1->setSpacing(6);
00104         gridLayout1->setMargin(9);
00105         gridLayout1->setObjectName(QString::fromUtf8("gridLayout1"));
00106         radioSpaces = new Gui::PrefRadioButton(groupBoxIndent);
00107         radioSpaces->setObjectName(QString::fromUtf8("radioSpaces"));
00108         radioSpaces->setProperty("prefEntry", QVariant(QByteArray("Spaces")));
00109         radioSpaces->setProperty("prefPath", QVariant(QByteArray("Editor")));
00110 
00111         gridLayout1->addWidget(radioSpaces, 3, 0, 1, 2);
00112 
00113         textLabel1 = new QLabel(groupBoxIndent);
00114         textLabel1->setObjectName(QString::fromUtf8("textLabel1"));
00115 
00116         gridLayout1->addWidget(textLabel1, 0, 0, 1, 1);
00117 
00118         tabSize = new Gui::PrefSpinBox(groupBoxIndent);
00119         tabSize->setObjectName(QString::fromUtf8("tabSize"));
00120         tabSize->setValue(4);
00121         tabSize->setProperty("prefEntry", QVariant(QByteArray("TabSize")));
00122         tabSize->setProperty("prefPath", QVariant(QByteArray("Editor")));
00123 
00124         gridLayout1->addWidget(tabSize, 0, 1, 1, 1);
00125 
00126         textLabel2 = new QLabel(groupBoxIndent);
00127         textLabel2->setObjectName(QString::fromUtf8("textLabel2"));
00128 
00129         gridLayout1->addWidget(textLabel2, 1, 0, 1, 1);
00130 
00131         indentSize = new Gui::PrefSpinBox(groupBoxIndent);
00132         indentSize->setObjectName(QString::fromUtf8("indentSize"));
00133         indentSize->setValue(4);
00134         indentSize->setProperty("prefEntry", QVariant(QByteArray("IndentSize")));
00135         indentSize->setProperty("prefPath", QVariant(QByteArray("Editor")));
00136 
00137         gridLayout1->addWidget(indentSize, 1, 1, 1, 1);
00138 
00139         radioTabs = new Gui::PrefRadioButton(groupBoxIndent);
00140         radioTabs->setObjectName(QString::fromUtf8("radioTabs"));
00141         radioTabs->setChecked(true);
00142         radioTabs->setProperty("prefEntry", QVariant(QByteArray("Tabs")));
00143         radioTabs->setProperty("prefPath", QVariant(QByteArray("Editor")));
00144 
00145         gridLayout1->addWidget(radioTabs, 2, 0, 1, 2);
00146 
00147 
00148         gridLayout->addWidget(groupBoxIndent, 1, 1, 1, 1);
00149 
00150         GroupBox5 = new QGroupBox(Gui__Dialog__DlgEditorSettings);
00151         GroupBox5->setObjectName(QString::fromUtf8("GroupBox5"));
00152         QSizePolicy sizePolicy(static_cast<QSizePolicy::Policy>(5), static_cast<QSizePolicy::Policy>(7));
00153         sizePolicy.setHorizontalStretch(0);
00154         sizePolicy.setVerticalStretch(0);
00155         sizePolicy.setHeightForWidth(GroupBox5->sizePolicy().hasHeightForWidth());
00156         GroupBox5->setSizePolicy(sizePolicy);
00157         gridLayout2 = new QGridLayout(GroupBox5);
00158         gridLayout2->setSpacing(6);
00159         gridLayout2->setMargin(9);
00160         gridLayout2->setObjectName(QString::fromUtf8("gridLayout2"));
00161         fontSize = new Gui::PrefSpinBox(GroupBox5);
00162         fontSize->setObjectName(QString::fromUtf8("fontSize"));
00163         QSizePolicy sizePolicy1(static_cast<QSizePolicy::Policy>(7), static_cast<QSizePolicy::Policy>(0));
00164         sizePolicy1.setHorizontalStretch(0);
00165         sizePolicy1.setVerticalStretch(0);
00166         sizePolicy1.setHeightForWidth(fontSize->sizePolicy().hasHeightForWidth());
00167         fontSize->setSizePolicy(sizePolicy1);
00168         fontSize->setMinimum(1);
00169         fontSize->setValue(10);
00170         fontSize->setProperty("prefEntry", QVariant(QByteArray("FontSize")));
00171         fontSize->setProperty("prefPath", QVariant(QByteArray("Editor")));
00172 
00173         gridLayout2->addWidget(fontSize, 1, 2, 1, 1);
00174 
00175         displayItems = new QTreeWidget(GroupBox5);
00176         displayItems->setObjectName(QString::fromUtf8("displayItems"));
00177         displayItems->setRootIsDecorated(false);
00178 
00179         gridLayout2->addWidget(displayItems, 0, 0, 4, 1);
00180 
00181         colorButton = new Gui::ColorButton(GroupBox5);
00182         colorButton->setObjectName(QString::fromUtf8("colorButton"));
00183         colorButton->setMinimumSize(QSize(140, 0));
00184         colorButton->setFocusPolicy(Qt::TabFocus);
00185 
00186         gridLayout2->addWidget(colorButton, 4, 0, 1, 1);
00187 
00188         TextLabel3 = new QLabel(GroupBox5);
00189         TextLabel3->setObjectName(QString::fromUtf8("TextLabel3"));
00190 
00191         gridLayout2->addWidget(TextLabel3, 0, 1, 1, 1);
00192 
00193         TextLabel4 = new QLabel(GroupBox5);
00194         TextLabel4->setObjectName(QString::fromUtf8("TextLabel4"));
00195 
00196         gridLayout2->addWidget(TextLabel4, 1, 1, 1, 1);
00197 
00198         fontFamily = new QComboBox(GroupBox5);
00199         fontFamily->setObjectName(QString::fromUtf8("fontFamily"));
00200         sizePolicy1.setHeightForWidth(fontFamily->sizePolicy().hasHeightForWidth());
00201         fontFamily->setSizePolicy(sizePolicy1);
00202 
00203         gridLayout2->addWidget(fontFamily, 0, 2, 1, 1);
00204 
00205         label = new QLabel(GroupBox5);
00206         label->setObjectName(QString::fromUtf8("label"));
00207         QSizePolicy sizePolicy2(static_cast<QSizePolicy::Policy>(5), static_cast<QSizePolicy::Policy>(0));
00208         sizePolicy2.setHorizontalStretch(0);
00209         sizePolicy2.setVerticalStretch(0);
00210         sizePolicy2.setHeightForWidth(label->sizePolicy().hasHeightForWidth());
00211         label->setSizePolicy(sizePolicy2);
00212 
00213         gridLayout2->addWidget(label, 2, 1, 1, 2);
00214 
00215         textEdit1 = new QTextEdit(GroupBox5);
00216         textEdit1->setObjectName(QString::fromUtf8("textEdit1"));
00217         textEdit1->setTabStopWidth(40);
00218 
00219         gridLayout2->addWidget(textEdit1, 3, 1, 2, 2);
00220 
00221 
00222         gridLayout->addWidget(GroupBox5, 0, 0, 1, 2);
00223 
00224         QWidget::setTabOrder(fontFamily, EnableLineNumber);
00225         QWidget::setTabOrder(EnableLineNumber, EnableFolding);
00226         QWidget::setTabOrder(EnableFolding, tabSize);
00227         QWidget::setTabOrder(tabSize, indentSize);
00228         QWidget::setTabOrder(indentSize, colorButton);
00229 
00230         retranslateUi(Gui__Dialog__DlgEditorSettings);
00231 
00232         QMetaObject::connectSlotsByName(Gui__Dialog__DlgEditorSettings);
00233     } // setupUi
00234 
00235     void retranslateUi(QWidget *Gui__Dialog__DlgEditorSettings)
00236     {
00237         Gui__Dialog__DlgEditorSettings->setWindowTitle(QApplication::translate("Gui::Dialog::DlgEditorSettings", "Editor", 0, QApplication::UnicodeUTF8));
00238         GroupBox2->setTitle(QApplication::translate("Gui::Dialog::DlgEditorSettings", "Options", 0, QApplication::UnicodeUTF8));
00239         EnableLineNumber->setText(QApplication::translate("Gui::Dialog::DlgEditorSettings", "Enable line numbers", 0, QApplication::UnicodeUTF8));
00240         EnableFolding->setText(QApplication::translate("Gui::Dialog::DlgEditorSettings", "Enable folding", 0, QApplication::UnicodeUTF8));
00241         groupBoxIndent->setTitle(QApplication::translate("Gui::Dialog::DlgEditorSettings", "Indentation", 0, QApplication::UnicodeUTF8));
00242         radioSpaces->setText(QApplication::translate("Gui::Dialog::DlgEditorSettings", "Insert spaces", 0, QApplication::UnicodeUTF8));
00243         textLabel1->setText(QApplication::translate("Gui::Dialog::DlgEditorSettings", "Tab size:", 0, QApplication::UnicodeUTF8));
00244         textLabel2->setText(QApplication::translate("Gui::Dialog::DlgEditorSettings", "Indent size:", 0, QApplication::UnicodeUTF8));
00245         radioTabs->setText(QApplication::translate("Gui::Dialog::DlgEditorSettings", "Keep tabs", 0, QApplication::UnicodeUTF8));
00246         GroupBox5->setTitle(QApplication::translate("Gui::Dialog::DlgEditorSettings", "Display Items", 0, QApplication::UnicodeUTF8));
00247         colorButton->setText(QString());
00248         TextLabel3->setText(QApplication::translate("Gui::Dialog::DlgEditorSettings", "Family:", 0, QApplication::UnicodeUTF8));
00249         TextLabel4->setText(QApplication::translate("Gui::Dialog::DlgEditorSettings", "Size:", 0, QApplication::UnicodeUTF8));
00250         label->setText(QApplication::translate("Gui::Dialog::DlgEditorSettings", "Preview:", 0, QApplication::UnicodeUTF8));
00251         Q_UNUSED(Gui__Dialog__DlgEditorSettings);
00252     } // retranslateUi
00253 
00254 };
00255 
00256 } // namespace Dialog
00257 } // namespace Gui
00258 
00259 namespace Gui {
00260 namespace Dialog {
00261 namespace Ui {
00262     class DlgEditorSettings: public Ui_DlgEditorSettings {};
00263 } // namespace Ui
00264 } // namespace Dialog
00265 } // namespace Gui
00266 
00267 #endif // UI_DLGEDITOR_H