#include <kdialog.h>
#include <klocale.h>

/********************************************************************************
** Form generated from reading UI file 'FormulaToolWidget.ui'
**
** Created by: Qt User Interface Compiler version 4.8.7
**
** WARNING! All changes made in this file will be lost when recompiling UI file!
********************************************************************************/

#ifndef UI_FORMULATOOLWIDGET_H
#define UI_FORMULATOOLWIDGET_H

#include <QtCore/QVariant>
#include <QtGui/QAction>
#include <QtGui/QApplication>
#include <QtGui/QButtonGroup>
#include <QtGui/QFormLayout>
#include <QtGui/QGridLayout>
#include <QtGui/QGroupBox>
#include <QtGui/QHBoxLayout>
#include <QtGui/QHeaderView>
#include <QtGui/QLabel>
#include <QtGui/QPushButton>
#include <QtGui/QSpacerItem>
#include <QtGui/QStackedWidget>
#include <QtGui/QTabWidget>
#include <QtGui/QToolButton>
#include <QtGui/QWidget>
#include "KoFontComboBox.h"

QT_BEGIN_NAMESPACE

class Ui_mainTabWidget
{
public:
    QWidget *tab;
    QFormLayout *formLayout;
    QGroupBox *groupElements;
    QHBoxLayout *horizontalLayout;
    QToolButton *buttonFence;
    QToolButton *buttonScript;
    QToolButton *buttonRoot;
    QToolButton *buttonFraction;
    QToolButton *buttonTable;
    QSpacerItem *horizontalSpacer_4;
    QGroupBox *groupSymbols;
    QHBoxLayout *horizontalLayout_2;
    QToolButton *buttonRelation;
    QToolButton *buttonOperators;
    QToolButton *buttonMisc;
    QToolButton *buttonArrows;
    QToolButton *buttonGreek;
    QSpacerItem *horizontalSpacer_3;
    QGroupBox *groupActions;
    QHBoxLayout *horizontalLayout_3;
    QToolButton *buttonRow;
    QToolButton *buttonAlterTable;
    QSpacerItem *horizontalSpacer_2;
    QPushButton *buttonLoad;
    QPushButton *buttonSave;
    QWidget *tab_2;
    QGridLayout *gridLayout_5;
    QGroupBox *groupGeneralOptions;
    KoFontComboBox *fontComboBox;
    QLabel *label;
    QLabel *labelColors;
    QGroupBox *groupSpecificOptions;
    QGridLayout *gridLayout_3;
    QStackedWidget *stackedWidget;
    QWidget *Table;
    QGridLayout *gridLayout_4;
    QLabel *label_3;
    QLabel *label_4;
    QWidget *page_2;
    QSpacerItem *horizontalSpacer;
    QPushButton *pushButton;

    void setupUi(QTabWidget *mainTabWidget)
    {
        if (mainTabWidget->objectName().isEmpty())
            mainTabWidget->setObjectName(QString::fromUtf8("mainTabWidget"));
        mainTabWidget->resize(246, 290);
        tab = new QWidget();
        tab->setObjectName(QString::fromUtf8("tab"));
        QSizePolicy sizePolicy(QSizePolicy::Preferred, QSizePolicy::Fixed);
        sizePolicy.setHorizontalStretch(0);
        sizePolicy.setVerticalStretch(0);
        sizePolicy.setHeightForWidth(tab->sizePolicy().hasHeightForWidth());
        tab->setSizePolicy(sizePolicy);
        formLayout = new QFormLayout(tab);
        formLayout->setObjectName(QString::fromUtf8("formLayout"));
        groupElements = new QGroupBox(tab);
        groupElements->setObjectName(QString::fromUtf8("groupElements"));
        QSizePolicy sizePolicy1(QSizePolicy::Fixed, QSizePolicy::Fixed);
        sizePolicy1.setHorizontalStretch(30);
        sizePolicy1.setVerticalStretch(30);
        sizePolicy1.setHeightForWidth(groupElements->sizePolicy().hasHeightForWidth());
        groupElements->setSizePolicy(sizePolicy1);
        groupElements->setFlat(true);
        horizontalLayout = new QHBoxLayout(groupElements);
        horizontalLayout->setObjectName(QString::fromUtf8("horizontalLayout"));
        buttonFence = new QToolButton(groupElements);
        buttonFence->setObjectName(QString::fromUtf8("buttonFence"));
        buttonFence->setPopupMode(QToolButton::DelayedPopup);
        buttonFence->setToolButtonStyle(Qt::ToolButtonIconOnly);

        horizontalLayout->addWidget(buttonFence);

        buttonScript = new QToolButton(groupElements);
        buttonScript->setObjectName(QString::fromUtf8("buttonScript"));
        buttonScript->setPopupMode(QToolButton::DelayedPopup);
        buttonScript->setToolButtonStyle(Qt::ToolButtonIconOnly);

        horizontalLayout->addWidget(buttonScript);

        buttonRoot = new QToolButton(groupElements);
        buttonRoot->setObjectName(QString::fromUtf8("buttonRoot"));
        buttonRoot->setPopupMode(QToolButton::DelayedPopup);
        buttonRoot->setToolButtonStyle(Qt::ToolButtonIconOnly);

        horizontalLayout->addWidget(buttonRoot);

        buttonFraction = new QToolButton(groupElements);
        buttonFraction->setObjectName(QString::fromUtf8("buttonFraction"));
        buttonFraction->setPopupMode(QToolButton::DelayedPopup);
        buttonFraction->setToolButtonStyle(Qt::ToolButtonIconOnly);

        horizontalLayout->addWidget(buttonFraction);

        buttonTable = new QToolButton(groupElements);
        buttonTable->setObjectName(QString::fromUtf8("buttonTable"));
        buttonTable->setPopupMode(QToolButton::DelayedPopup);
        buttonTable->setToolButtonStyle(Qt::ToolButtonIconOnly);

        horizontalLayout->addWidget(buttonTable);

        horizontalSpacer_4 = new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);

        horizontalLayout->addItem(horizontalSpacer_4);


        formLayout->setWidget(0, QFormLayout::SpanningRole, groupElements);

        groupSymbols = new QGroupBox(tab);
        groupSymbols->setObjectName(QString::fromUtf8("groupSymbols"));
        QSizePolicy sizePolicy2(QSizePolicy::Fixed, QSizePolicy::Fixed);
        sizePolicy2.setHorizontalStretch(0);
        sizePolicy2.setVerticalStretch(0);
        sizePolicy2.setHeightForWidth(groupSymbols->sizePolicy().hasHeightForWidth());
        groupSymbols->setSizePolicy(sizePolicy2);
        groupSymbols->setFlat(true);
        horizontalLayout_2 = new QHBoxLayout(groupSymbols);
        horizontalLayout_2->setObjectName(QString::fromUtf8("horizontalLayout_2"));
        buttonRelation = new QToolButton(groupSymbols);
        buttonRelation->setObjectName(QString::fromUtf8("buttonRelation"));
        buttonRelation->setPopupMode(QToolButton::DelayedPopup);
        buttonRelation->setToolButtonStyle(Qt::ToolButtonIconOnly);

        horizontalLayout_2->addWidget(buttonRelation);

        buttonOperators = new QToolButton(groupSymbols);
        buttonOperators->setObjectName(QString::fromUtf8("buttonOperators"));
        buttonOperators->setPopupMode(QToolButton::DelayedPopup);
        buttonOperators->setToolButtonStyle(Qt::ToolButtonIconOnly);

        horizontalLayout_2->addWidget(buttonOperators);

        buttonMisc = new QToolButton(groupSymbols);
        buttonMisc->setObjectName(QString::fromUtf8("buttonMisc"));
        buttonMisc->setPopupMode(QToolButton::DelayedPopup);
        buttonMisc->setToolButtonStyle(Qt::ToolButtonIconOnly);

        horizontalLayout_2->addWidget(buttonMisc);

        buttonArrows = new QToolButton(groupSymbols);
        buttonArrows->setObjectName(QString::fromUtf8("buttonArrows"));
        buttonArrows->setPopupMode(QToolButton::DelayedPopup);
        buttonArrows->setToolButtonStyle(Qt::ToolButtonIconOnly);

        horizontalLayout_2->addWidget(buttonArrows);

        buttonGreek = new QToolButton(groupSymbols);
        buttonGreek->setObjectName(QString::fromUtf8("buttonGreek"));
        buttonGreek->setPopupMode(QToolButton::DelayedPopup);
        buttonGreek->setToolButtonStyle(Qt::ToolButtonIconOnly);

        horizontalLayout_2->addWidget(buttonGreek);

        horizontalSpacer_3 = new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);

        horizontalLayout_2->addItem(horizontalSpacer_3);


        formLayout->setWidget(1, QFormLayout::SpanningRole, groupSymbols);

        groupActions = new QGroupBox(tab);
        groupActions->setObjectName(QString::fromUtf8("groupActions"));
        sizePolicy2.setHeightForWidth(groupActions->sizePolicy().hasHeightForWidth());
        groupActions->setSizePolicy(sizePolicy2);
        groupActions->setFlat(true);
        horizontalLayout_3 = new QHBoxLayout(groupActions);
        horizontalLayout_3->setObjectName(QString::fromUtf8("horizontalLayout_3"));
        buttonRow = new QToolButton(groupActions);
        buttonRow->setObjectName(QString::fromUtf8("buttonRow"));
        buttonRow->setPopupMode(QToolButton::DelayedPopup);
        buttonRow->setToolButtonStyle(Qt::ToolButtonIconOnly);

        horizontalLayout_3->addWidget(buttonRow);

        buttonAlterTable = new QToolButton(groupActions);
        buttonAlterTable->setObjectName(QString::fromUtf8("buttonAlterTable"));
        buttonAlterTable->setPopupMode(QToolButton::DelayedPopup);
        buttonAlterTable->setToolButtonStyle(Qt::ToolButtonIconOnly);

        horizontalLayout_3->addWidget(buttonAlterTable);

        horizontalSpacer_2 = new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);

        horizontalLayout_3->addItem(horizontalSpacer_2);


        formLayout->setWidget(2, QFormLayout::SpanningRole, groupActions);

        buttonLoad = new QPushButton(tab);
        buttonLoad->setObjectName(QString::fromUtf8("buttonLoad"));

        formLayout->setWidget(3, QFormLayout::LabelRole, buttonLoad);

        buttonSave = new QPushButton(tab);
        buttonSave->setObjectName(QString::fromUtf8("buttonSave"));

        formLayout->setWidget(3, QFormLayout::FieldRole, buttonSave);

        mainTabWidget->addTab(tab, QString());
        tab_2 = new QWidget();
        tab_2->setObjectName(QString::fromUtf8("tab_2"));
        gridLayout_5 = new QGridLayout(tab_2);
        gridLayout_5->setObjectName(QString::fromUtf8("gridLayout_5"));
        groupGeneralOptions = new QGroupBox(tab_2);
        groupGeneralOptions->setObjectName(QString::fromUtf8("groupGeneralOptions"));
        groupGeneralOptions->setFlat(true);
        fontComboBox = new KoFontComboBox(groupGeneralOptions);
        fontComboBox->setObjectName(QString::fromUtf8("fontComboBox"));
        fontComboBox->setGeometry(QRect(80, 70, 151, 34));
        label = new QLabel(groupGeneralOptions);
        label->setObjectName(QString::fromUtf8("label"));
        label->setGeometry(QRect(20, 70, 41, 24));
        labelColors = new QLabel(groupGeneralOptions);
        labelColors->setObjectName(QString::fromUtf8("labelColors"));
        labelColors->setGeometry(QRect(20, 40, 61, 24));

        gridLayout_5->addWidget(groupGeneralOptions, 0, 0, 1, 2);

        groupSpecificOptions = new QGroupBox(tab_2);
        groupSpecificOptions->setObjectName(QString::fromUtf8("groupSpecificOptions"));
        groupSpecificOptions->setFlat(true);
        gridLayout_3 = new QGridLayout(groupSpecificOptions);
        gridLayout_3->setObjectName(QString::fromUtf8("gridLayout_3"));
        stackedWidget = new QStackedWidget(groupSpecificOptions);
        stackedWidget->setObjectName(QString::fromUtf8("stackedWidget"));
        QSizePolicy sizePolicy3(QSizePolicy::Preferred, QSizePolicy::Minimum);
        sizePolicy3.setHorizontalStretch(0);
        sizePolicy3.setVerticalStretch(0);
        sizePolicy3.setHeightForWidth(stackedWidget->sizePolicy().hasHeightForWidth());
        stackedWidget->setSizePolicy(sizePolicy3);
        Table = new QWidget();
        Table->setObjectName(QString::fromUtf8("Table"));
        gridLayout_4 = new QGridLayout(Table);
        gridLayout_4->setObjectName(QString::fromUtf8("gridLayout_4"));
        label_3 = new QLabel(Table);
        label_3->setObjectName(QString::fromUtf8("label_3"));

        gridLayout_4->addWidget(label_3, 0, 0, 1, 1);

        label_4 = new QLabel(Table);
        label_4->setObjectName(QString::fromUtf8("label_4"));

        gridLayout_4->addWidget(label_4, 1, 0, 1, 1);

        stackedWidget->addWidget(Table);
        page_2 = new QWidget();
        page_2->setObjectName(QString::fromUtf8("page_2"));
        stackedWidget->addWidget(page_2);

        gridLayout_3->addWidget(stackedWidget, 0, 0, 2, 1);


        gridLayout_5->addWidget(groupSpecificOptions, 1, 0, 1, 2);

        horizontalSpacer = new QSpacerItem(104, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);

        gridLayout_5->addItem(horizontalSpacer, 2, 0, 1, 1);

        pushButton = new QPushButton(tab_2);
        pushButton->setObjectName(QString::fromUtf8("pushButton"));

        gridLayout_5->addWidget(pushButton, 2, 1, 1, 1);

        mainTabWidget->addTab(tab_2, QString());
#ifndef UI_QT_NO_SHORTCUT
        label->setBuddy(fontComboBox);
#endif // QT_NO_SHORTCUT

        retranslateUi(mainTabWidget);

        mainTabWidget->setCurrentIndex(0);
        stackedWidget->setCurrentIndex(0);


        QMetaObject::connectSlotsByName(mainTabWidget);
    } // setupUi

    void retranslateUi(QTabWidget *mainTabWidget)
    {
        groupElements->setTitle(tr2i18n("Elements", 0));
        buttonFence->setText(QString());
        buttonScript->setText(QString());
        buttonRoot->setText(QString());
        buttonFraction->setText(QString());
        buttonTable->setText(QString());
        groupSymbols->setTitle(tr2i18n("Symbols", 0));
        buttonRelation->setText(QString());
        buttonOperators->setText(QString());
        buttonMisc->setText(QString());
        buttonArrows->setText(QString());
        buttonGreek->setText(QString());
        groupActions->setTitle(tr2i18n("Actions", 0));
        buttonRow->setText(QString());
        buttonAlterTable->setText(QString());
        buttonLoad->setText(tr2i18n("Load...", "This button opens a file dialog to load a MathML file"));
        buttonSave->setText(tr2i18n("Save...", 0));
        mainTabWidget->setTabText(mainTabWidget->indexOf(tab), tr2i18n("Insert", 0));
        groupGeneralOptions->setTitle(tr2i18n("General options", 0));
        label->setText(tr2i18n("Font:", 0));
        labelColors->setText(tr2i18n("Colors:", 0));
        groupSpecificOptions->setTitle(tr2i18n("Specific options", 0));
        label_3->setText(tr2i18n("Rows:", 0));
        label_4->setText(tr2i18n("Columns:", 0));
        pushButton->setText(tr2i18n("View MathML", 0));
        mainTabWidget->setTabText(mainTabWidget->indexOf(tab_2), tr2i18n("Edit", 0));
        Q_UNUSED(mainTabWidget);
    } // retranslateUi

};

namespace Ui {
    class mainTabWidget: public Ui_mainTabWidget {};
} // namespace Ui

QT_END_NAMESPACE

#endif // FORMULATOOLWIDGET_H

