/********************************************************************************
** Form generated from reading ui file 'FlatProjectEditor.ui'
**
** Created: Tue Oct 16 17:33:55 2012
**      by: Qt User Interface Compiler version 4.5.2
**
** WARNING! All changes made in this file will be lost when recompiling ui file!
********************************************************************************/

#ifndef UI_FLATPROJECTEDITOR_H
#define UI_FLATPROJECTEDITOR_H

#include <QtCore/QVariant>
#include <QtGui/QAction>
#include <QtGui/QApplication>
#include <QtGui/QButtonGroup>
#include <QtGui/QComboBox>
#include <QtGui/QDateTimeEdit>
#include <QtGui/QGridLayout>
#include <QtGui/QGroupBox>
#include <QtGui/QHeaderView>
#include <QtGui/QLabel>
#include <QtGui/QLineEdit>
#include <QtGui/QMainWindow>
#include <QtGui/QRadioButton>
#include <QtGui/QSpacerItem>
#include <QtGui/QSplitter>
#include <QtGui/QTabWidget>
#include <QtGui/QToolButton>
#include <QtGui/QWidget>
#include "DesEventSetTableWidget.h"
#include "DesStateSetTableWidget.h"
#include "DesTransSetTableWidget.h"
#include "DespotTreeWidget.h"
#include "OutputWidget.h"
#include "ProgressWidget.h"

QT_BEGIN_NAMESPACE

class Ui_FlatProjectEditorUI
{
public:
    QWidget *centralWidget;
    QSplitter *m_mainSplitterWidg;
    DESpot::DespotTreeWidget *m_fViewProjStructWidg;
    QTabWidget *m_projDetailsTabWidg;
    QWidget *summaryTab;
    QWidget *m_summaryPageLayout;
    QGridLayout *gridLayout;
    QLabel *m_projNameDisplay;
    QLabel *m_smryCtrlVerifiedLabel;
    QSpacerItem *spacerItem;
    QDateTimeEdit *m_smryCtrlDateStampWidg;
    QSpacerItem *spacerItem1;
    QGroupBox *m_statusLine;
    QLabel *m_ctrlNotChkLabel;
    QRadioButton *m_smryCtrlYesWidg;
    QLabel *m_projStatusNotChckLabel;
    QLabel *m_smryNonBlockVerifiedLabel;
    QLabel *m_projStatusVerifiedLabel;
    QLabel *m_nonBlockNotChkLabel;
    QRadioButton *m_smryNonBlockYesWidg;
    QLabel *m_projTypeLabel;
    QRadioButton *m_projStatusValidWidg;
    QRadioButton *m_smryNonBlockNoWidg;
    QRadioButton *m_projStatusInvalidWidg;
    QSpacerItem *spacerItem2;
    QGroupBox *m_smryNonBlockLine;
    QLabel *m_projLocationLabel;
    QLabel *m_projNameLabel;
    QRadioButton *m_smryCtrlNoWidg;
    QGroupBox *m_smryCtrlLine;
    QSpacerItem *spacerItem3;
    QGroupBox *m_projPropLine;
    QSpacerItem *spacerItem4;
    QDateTimeEdit *m_projStatusDateStampWidg;
    QDateTimeEdit *m_smryNonBlockDateStampWidg;
    QLabel *m_projTypeDisplay;
    QLabel *m_projLocationDisplay;
    QLabel *m_projStatusSpacer1;
    QLabel *m_projStatusSpacer2;
    QLabel *m_projStatusSpacer3;
    QLabel *m_projStatusSpacer4;
    QLabel *m_nonblockSpacer1;
    QLabel *m_nonblockSpacer2;
    QLabel *m_nonblockSpacer3;
    QLabel *m_nonblockSpacer4;
    QLabel *m_ctrlSpacer1;
    QLabel *m_ctrlSpacer2;
    QLabel *m_ctrlSpacer3;
    QLabel *m_ctrlSpacer4;
    QWidget *nonBlockTab;
    QWidget *m_nonBlockPageLayout;
    QGridLayout *gridLayout1;
    QLabel *m_nonBlockVerifiedLabel;
    QSpacerItem *spacerItem5;
    QLineEdit *m_nonBlockFlatSysStatesWidg;
    QSpacerItem *spacerItem6;
    QGroupBox *m_nonBlockStatsLine;
    QSpacerItem *spacerItem7;
    QSpacerItem *spacerItem8;
    QRadioButton *m_nonBlockNotChkWidg;
    QLabel *m_nonBlockTimingLabel;
    QSpacerItem *spacerItem9;
    QSpacerItem *spacerItem10;
    QLabel *m_nonBlockFlatSysEventsLabel;
    QSpacerItem *spacerItem11;
    QGroupBox *m_nonBlockOutputLine;
    QSpacerItem *spacerItem12;
    QLabel *m_nonBlockFlatSysStatesLabel;
    QLabel *m_nonBlockFlatSizeLabel;
    QSpacerItem *spacerItem13;
    QLineEdit *m_nonBlockFlatSysEventsWidg;
    QRadioButton *m_nonBlockYesWidg;
    QLabel *m_nonBlockFlatSysTransLabel;
    QLineEdit *m_nonBlockTimingWidg;
    QSpacerItem *spacerItem14;
    QLineEdit *m_nonBlockFlatSysTransWidg;
    QGroupBox *m_nonBlockLine;
    QSpacerItem *spacerItem15;
    QDateTimeEdit *m_nonBlockDateStampWidg;
    QRadioButton *m_nonBlockNoWidg;
    QSpacerItem *spacerItem16;
    DESpot::OutputWidget *m_nonBlockOutputWidg;
    QWidget *ctrlTab;
    QWidget *m_ctrlPageLayout;
    QGridLayout *gridLayout2;
    QLabel *m_ctrlVerifiedLabel;
    QSpacerItem *spacerItem17;
    QLineEdit *m_ctrlFlatSysStatesWidg;
    QSpacerItem *spacerItem18;
    QGroupBox *m_ctrlStatsLine;
    QSpacerItem *spacerItem19;
    QSpacerItem *spacerItem20;
    QRadioButton *m_ctrlNotChkWidg;
    QLabel *m_ctrlTimingLabel;
    QSpacerItem *spacerItem21;
    QSpacerItem *spacerItem22;
    QLabel *m_ctrlFlatSysEventsLabel;
    QSpacerItem *spacerItem23;
    QGroupBox *m_ctrlOutputLine;
    QSpacerItem *spacerItem24;
    QLabel *m_ctrlFlatSysStatesLabel;
    QLabel *m_ctrlFlatSysLabel;
    QSpacerItem *spacerItem25;
    QLineEdit *m_ctrlFlatSysEventsWidg;
    QRadioButton *m_ctrlYesWidg;
    QLabel *m_ctrlFlatSysEventsTrans;
    QLineEdit *m_ctrlTimingWidg;
    QSpacerItem *spacerItem26;
    QLineEdit *m_ctrlFlatSysTransWidg;
    QGroupBox *m_ctrlLine;
    QSpacerItem *spacerItem27;
    QDateTimeEdit *m_ctrlDateStampWidg;
    QRadioButton *m_ctrlNoWidg;
    QSpacerItem *spacerItem28;
    DESpot::OutputWidget *m_ctrlOutputWidg;
    QWidget *desViewTab;
    QWidget *m_desDetailsLayoutWidg;
    QGridLayout *gridLayout3;
    QLabel *m_initStateDisplay;
    QLabel *m_eventListLabel;
    QLabel *m_locationLabel;
    QLabel *m_desTypeLabel;
    QLabel *m_desTypeDisplay;
    QLabel *m_eventType0CountDisplay;
    QLabel *m_transCountLabel;
    QLabel *m_eventType1CountDisplay;
    QLabel *m_stateCountLabel;
    QLabel *m_eventCountLabel;
    QLabel *m_desStatusLabel;
    QSpacerItem *spacerItem29;
    QLabel *m_initStateLabel;
    QSpacerItem *spacerItem30;
    QLabel *m_transListLabel;
    DESpot::DesStateSetTableWidget *m_stateTableWidg;
    QLabel *m_desStatusDisplay;
    QLabel *m_desLocDisplay;
    QLabel *m_stateCountDisplay;
    QLabel *m_eventCountDisplay;
    QLabel *m_markedStateCountDisplay;
    QLabel *m_desNameLabel;
    QLabel *m_desNameDisplay;
    QLabel *m_transCountDisplay;
    QLabel *m_stateListLabel;
    DESpot::DesTransSetTableWidget *m_transTableWidg;
    QLabel *m_eventType2CountDisplay;
    QLabel *m_ctrlEventCountDisplay;
    QSpacerItem *spacerItem31;
    QGroupBox *m_desPropertiesLine;
    QGroupBox *m_statesLine;
    QGroupBox *m_eventsLine;
    QSpacerItem *spacerItem32;
    QSpacerItem *spacerItem33;
    QGroupBox *m_transLine;
    QLabel *m_eventType3CountDisplay;
    QLabel *m_selfTransCountDisplay;
    DESpot::DesEventSetTableWidget *m_eventTableWidg;
    QWidget *outputTab;
    QWidget *m_outputPageLayout;
    QGridLayout *gridLayout4;
    QSpacerItem *spacerItem34;
    QComboBox *m_showOutputForWidg;
    QToolButton *m_clearBtn;
    QToolButton *m_copyBtn;
    QToolButton *m_wrapBtn;
    QLabel *label;
    DESpot::OutputWidget *m_outputWidg;
    DESpot::ProgressWidget *m_progressWidget;

    void setupUi(QMainWindow *FlatProjectEditorUI)
    {
        if (FlatProjectEditorUI->objectName().isEmpty())
            FlatProjectEditorUI->setObjectName(QString::fromUtf8("FlatProjectEditorUI"));
        FlatProjectEditorUI->resize(1200, 646);
        centralWidget = new QWidget(FlatProjectEditorUI);
        centralWidget->setObjectName(QString::fromUtf8("centralWidget"));
        m_mainSplitterWidg = new QSplitter(centralWidget);
        m_mainSplitterWidg->setObjectName(QString::fromUtf8("m_mainSplitterWidg"));
        m_mainSplitterWidg->setGeometry(QRect(10, 10, 1171, 611));
        m_mainSplitterWidg->setOrientation(Qt::Horizontal);
        m_fViewProjStructWidg = new DESpot::DespotTreeWidget(m_mainSplitterWidg);
        QTreeWidgetItem *__qtreewidgetitem = new QTreeWidgetItem();
        __qtreewidgetitem->setText(0, QString::fromUtf8("1"));
        m_fViewProjStructWidg->setHeaderItem(__qtreewidgetitem);
        m_fViewProjStructWidg->setObjectName(QString::fromUtf8("m_fViewProjStructWidg"));
        m_mainSplitterWidg->addWidget(m_fViewProjStructWidg);
        m_projDetailsTabWidg = new QTabWidget(m_mainSplitterWidg);
        m_projDetailsTabWidg->setObjectName(QString::fromUtf8("m_projDetailsTabWidg"));
        m_projDetailsTabWidg->setTabPosition(QTabWidget::South);
        m_projDetailsTabWidg->setTabShape(QTabWidget::Rounded);
        summaryTab = new QWidget();
        summaryTab->setObjectName(QString::fromUtf8("summaryTab"));
        m_summaryPageLayout = new QWidget(summaryTab);
        m_summaryPageLayout->setObjectName(QString::fromUtf8("m_summaryPageLayout"));
        m_summaryPageLayout->setGeometry(QRect(10, 10, 389, 511));
        gridLayout = new QGridLayout(m_summaryPageLayout);
        gridLayout->setSpacing(6);
        gridLayout->setMargin(0);
        gridLayout->setObjectName(QString::fromUtf8("gridLayout"));
        gridLayout->setContentsMargins(0, 0, 0, 0);
        m_projNameDisplay = new QLabel(m_summaryPageLayout);
        m_projNameDisplay->setObjectName(QString::fromUtf8("m_projNameDisplay"));
        QSizePolicy sizePolicy(QSizePolicy::Expanding, QSizePolicy::Fixed);
        sizePolicy.setHorizontalStretch(0);
        sizePolicy.setVerticalStretch(0);
        sizePolicy.setHeightForWidth(m_projNameDisplay->sizePolicy().hasHeightForWidth());
        m_projNameDisplay->setSizePolicy(sizePolicy);
        m_projNameDisplay->setMinimumSize(QSize(40, 20));
        m_projNameDisplay->setFrameShape(QFrame::StyledPanel);
        m_projNameDisplay->setFrameShadow(QFrame::Plain);
        m_projNameDisplay->setMargin(0);
        m_projNameDisplay->setIndent(1);

        gridLayout->addWidget(m_projNameDisplay, 1, 2, 1, 5);

        m_smryCtrlVerifiedLabel = new QLabel(m_summaryPageLayout);
        m_smryCtrlVerifiedLabel->setObjectName(QString::fromUtf8("m_smryCtrlVerifiedLabel"));
        QSizePolicy sizePolicy1(QSizePolicy::Expanding, QSizePolicy::Preferred);
        sizePolicy1.setHorizontalStretch(0);
        sizePolicy1.setVerticalStretch(0);
        sizePolicy1.setHeightForWidth(m_smryCtrlVerifiedLabel->sizePolicy().hasHeightForWidth());
        m_smryCtrlVerifiedLabel->setSizePolicy(sizePolicy1);

        gridLayout->addWidget(m_smryCtrlVerifiedLabel, 17, 4, 1, 4);

        spacerItem = new QSpacerItem(10, 21, QSizePolicy::Fixed, QSizePolicy::Minimum);

        gridLayout->addItem(spacerItem, 1, 0, 1, 1);

        m_smryCtrlDateStampWidg = new QDateTimeEdit(m_summaryPageLayout);
        m_smryCtrlDateStampWidg->setObjectName(QString::fromUtf8("m_smryCtrlDateStampWidg"));
        m_smryCtrlDateStampWidg->setMinimumSize(QSize(150, 20));
        m_smryCtrlDateStampWidg->setReadOnly(true);

        gridLayout->addWidget(m_smryCtrlDateStampWidg, 18, 5, 1, 1);

        spacerItem1 = new QSpacerItem(376, 5, QSizePolicy::Expanding, QSizePolicy::Minimum);

        gridLayout->addItem(spacerItem1, 14, 0, 1, 8);

        m_statusLine = new QGroupBox(m_summaryPageLayout);
        m_statusLine->setObjectName(QString::fromUtf8("m_statusLine"));
        QSizePolicy sizePolicy2(QSizePolicy::Preferred, QSizePolicy::Fixed);
        sizePolicy2.setHorizontalStretch(0);
        sizePolicy2.setVerticalStretch(0);
        sizePolicy2.setHeightForWidth(m_statusLine->sizePolicy().hasHeightForWidth());
        m_statusLine->setSizePolicy(sizePolicy2);
        m_statusLine->setMinimumSize(QSize(0, 20));
        m_statusLine->setFlat(true);

        gridLayout->addWidget(m_statusLine, 5, 0, 1, 8);

        m_ctrlNotChkLabel = new QLabel(m_summaryPageLayout);
        m_ctrlNotChkLabel->setObjectName(QString::fromUtf8("m_ctrlNotChkLabel"));
        sizePolicy1.setHeightForWidth(m_ctrlNotChkLabel->sizePolicy().hasHeightForWidth());
        m_ctrlNotChkLabel->setSizePolicy(sizePolicy1);

        gridLayout->addWidget(m_ctrlNotChkLabel, 16, 1, 1, 7);

        m_smryCtrlYesWidg = new QRadioButton(m_summaryPageLayout);
        m_smryCtrlYesWidg->setObjectName(QString::fromUtf8("m_smryCtrlYesWidg"));

        gridLayout->addWidget(m_smryCtrlYesWidg, 17, 1, 1, 2);

        m_projStatusNotChckLabel = new QLabel(m_summaryPageLayout);
        m_projStatusNotChckLabel->setObjectName(QString::fromUtf8("m_projStatusNotChckLabel"));
        sizePolicy1.setHeightForWidth(m_projStatusNotChckLabel->sizePolicy().hasHeightForWidth());
        m_projStatusNotChckLabel->setSizePolicy(sizePolicy1);

        gridLayout->addWidget(m_projStatusNotChckLabel, 6, 1, 1, 7);

        m_smryNonBlockVerifiedLabel = new QLabel(m_summaryPageLayout);
        m_smryNonBlockVerifiedLabel->setObjectName(QString::fromUtf8("m_smryNonBlockVerifiedLabel"));
        sizePolicy1.setHeightForWidth(m_smryNonBlockVerifiedLabel->sizePolicy().hasHeightForWidth());
        m_smryNonBlockVerifiedLabel->setSizePolicy(sizePolicy1);

        gridLayout->addWidget(m_smryNonBlockVerifiedLabel, 12, 4, 1, 4);

        m_projStatusVerifiedLabel = new QLabel(m_summaryPageLayout);
        m_projStatusVerifiedLabel->setObjectName(QString::fromUtf8("m_projStatusVerifiedLabel"));
        sizePolicy1.setHeightForWidth(m_projStatusVerifiedLabel->sizePolicy().hasHeightForWidth());
        m_projStatusVerifiedLabel->setSizePolicy(sizePolicy1);

        gridLayout->addWidget(m_projStatusVerifiedLabel, 7, 4, 1, 4);

        m_nonBlockNotChkLabel = new QLabel(m_summaryPageLayout);
        m_nonBlockNotChkLabel->setObjectName(QString::fromUtf8("m_nonBlockNotChkLabel"));
        sizePolicy1.setHeightForWidth(m_nonBlockNotChkLabel->sizePolicy().hasHeightForWidth());
        m_nonBlockNotChkLabel->setSizePolicy(sizePolicy1);

        gridLayout->addWidget(m_nonBlockNotChkLabel, 11, 1, 1, 7);

        m_smryNonBlockYesWidg = new QRadioButton(m_summaryPageLayout);
        m_smryNonBlockYesWidg->setObjectName(QString::fromUtf8("m_smryNonBlockYesWidg"));

        gridLayout->addWidget(m_smryNonBlockYesWidg, 12, 1, 1, 2);

        m_projTypeLabel = new QLabel(m_summaryPageLayout);
        m_projTypeLabel->setObjectName(QString::fromUtf8("m_projTypeLabel"));

        gridLayout->addWidget(m_projTypeLabel, 2, 1, 1, 1);

        m_projStatusValidWidg = new QRadioButton(m_summaryPageLayout);
        m_projStatusValidWidg->setObjectName(QString::fromUtf8("m_projStatusValidWidg"));

        gridLayout->addWidget(m_projStatusValidWidg, 7, 1, 1, 2);

        m_smryNonBlockNoWidg = new QRadioButton(m_summaryPageLayout);
        m_smryNonBlockNoWidg->setObjectName(QString::fromUtf8("m_smryNonBlockNoWidg"));

        gridLayout->addWidget(m_smryNonBlockNoWidg, 13, 1, 1, 2);

        m_projStatusInvalidWidg = new QRadioButton(m_summaryPageLayout);
        m_projStatusInvalidWidg->setObjectName(QString::fromUtf8("m_projStatusInvalidWidg"));

        gridLayout->addWidget(m_projStatusInvalidWidg, 8, 1, 1, 2);

        spacerItem2 = new QSpacerItem(57, 21, QSizePolicy::Preferred, QSizePolicy::Minimum);

        gridLayout->addItem(spacerItem2, 1, 7, 1, 1);

        m_smryNonBlockLine = new QGroupBox(m_summaryPageLayout);
        m_smryNonBlockLine->setObjectName(QString::fromUtf8("m_smryNonBlockLine"));
        sizePolicy2.setHeightForWidth(m_smryNonBlockLine->sizePolicy().hasHeightForWidth());
        m_smryNonBlockLine->setSizePolicy(sizePolicy2);
        m_smryNonBlockLine->setMinimumSize(QSize(0, 20));
        m_smryNonBlockLine->setFlat(true);

        gridLayout->addWidget(m_smryNonBlockLine, 10, 0, 1, 8);

        m_projLocationLabel = new QLabel(m_summaryPageLayout);
        m_projLocationLabel->setObjectName(QString::fromUtf8("m_projLocationLabel"));

        gridLayout->addWidget(m_projLocationLabel, 3, 1, 1, 1);

        m_projNameLabel = new QLabel(m_summaryPageLayout);
        m_projNameLabel->setObjectName(QString::fromUtf8("m_projNameLabel"));

        gridLayout->addWidget(m_projNameLabel, 1, 1, 1, 1);

        m_smryCtrlNoWidg = new QRadioButton(m_summaryPageLayout);
        m_smryCtrlNoWidg->setObjectName(QString::fromUtf8("m_smryCtrlNoWidg"));

        gridLayout->addWidget(m_smryCtrlNoWidg, 18, 1, 1, 2);

        m_smryCtrlLine = new QGroupBox(m_summaryPageLayout);
        m_smryCtrlLine->setObjectName(QString::fromUtf8("m_smryCtrlLine"));
        sizePolicy2.setHeightForWidth(m_smryCtrlLine->sizePolicy().hasHeightForWidth());
        m_smryCtrlLine->setSizePolicy(sizePolicy2);
        m_smryCtrlLine->setMinimumSize(QSize(0, 20));
        m_smryCtrlLine->setFlat(true);

        gridLayout->addWidget(m_smryCtrlLine, 15, 0, 1, 8);

        spacerItem3 = new QSpacerItem(376, 5, QSizePolicy::Expanding, QSizePolicy::Minimum);

        gridLayout->addItem(spacerItem3, 4, 0, 1, 8);

        m_projPropLine = new QGroupBox(m_summaryPageLayout);
        m_projPropLine->setObjectName(QString::fromUtf8("m_projPropLine"));
        sizePolicy2.setHeightForWidth(m_projPropLine->sizePolicy().hasHeightForWidth());
        m_projPropLine->setSizePolicy(sizePolicy2);
        m_projPropLine->setMinimumSize(QSize(16, 20));
        m_projPropLine->setFlat(true);

        gridLayout->addWidget(m_projPropLine, 0, 0, 1, 8);

        spacerItem4 = new QSpacerItem(376, 5, QSizePolicy::Expanding, QSizePolicy::Minimum);

        gridLayout->addItem(spacerItem4, 9, 0, 1, 8);

        m_projStatusDateStampWidg = new QDateTimeEdit(m_summaryPageLayout);
        m_projStatusDateStampWidg->setObjectName(QString::fromUtf8("m_projStatusDateStampWidg"));
        QSizePolicy sizePolicy3(QSizePolicy::Minimum, QSizePolicy::Fixed);
        sizePolicy3.setHorizontalStretch(0);
        sizePolicy3.setVerticalStretch(0);
        sizePolicy3.setHeightForWidth(m_projStatusDateStampWidg->sizePolicy().hasHeightForWidth());
        m_projStatusDateStampWidg->setSizePolicy(sizePolicy3);
        m_projStatusDateStampWidg->setMinimumSize(QSize(150, 20));
        m_projStatusDateStampWidg->setFrame(true);
        m_projStatusDateStampWidg->setReadOnly(true);

        gridLayout->addWidget(m_projStatusDateStampWidg, 8, 5, 1, 1);

        m_smryNonBlockDateStampWidg = new QDateTimeEdit(m_summaryPageLayout);
        m_smryNonBlockDateStampWidg->setObjectName(QString::fromUtf8("m_smryNonBlockDateStampWidg"));
        sizePolicy3.setHeightForWidth(m_smryNonBlockDateStampWidg->sizePolicy().hasHeightForWidth());
        m_smryNonBlockDateStampWidg->setSizePolicy(sizePolicy3);
        m_smryNonBlockDateStampWidg->setMinimumSize(QSize(150, 20));
        m_smryNonBlockDateStampWidg->setReadOnly(true);

        gridLayout->addWidget(m_smryNonBlockDateStampWidg, 13, 5, 1, 1);

        m_projTypeDisplay = new QLabel(m_summaryPageLayout);
        m_projTypeDisplay->setObjectName(QString::fromUtf8("m_projTypeDisplay"));
        sizePolicy.setHeightForWidth(m_projTypeDisplay->sizePolicy().hasHeightForWidth());
        m_projTypeDisplay->setSizePolicy(sizePolicy);
        m_projTypeDisplay->setMinimumSize(QSize(40, 20));
        m_projTypeDisplay->setFrameShape(QFrame::StyledPanel);
        m_projTypeDisplay->setMargin(0);
        m_projTypeDisplay->setIndent(1);

        gridLayout->addWidget(m_projTypeDisplay, 2, 2, 1, 5);

        m_projLocationDisplay = new QLabel(m_summaryPageLayout);
        m_projLocationDisplay->setObjectName(QString::fromUtf8("m_projLocationDisplay"));
        sizePolicy.setHeightForWidth(m_projLocationDisplay->sizePolicy().hasHeightForWidth());
        m_projLocationDisplay->setSizePolicy(sizePolicy);
        m_projLocationDisplay->setMinimumSize(QSize(40, 20));
        m_projLocationDisplay->setFrameShape(QFrame::StyledPanel);
        m_projLocationDisplay->setMargin(0);
        m_projLocationDisplay->setIndent(1);

        gridLayout->addWidget(m_projLocationDisplay, 3, 2, 1, 5);

        m_projStatusSpacer1 = new QLabel(m_summaryPageLayout);
        m_projStatusSpacer1->setObjectName(QString::fromUtf8("m_projStatusSpacer1"));
        QSizePolicy sizePolicy4(QSizePolicy::Fixed, QSizePolicy::Fixed);
        sizePolicy4.setHorizontalStretch(0);
        sizePolicy4.setVerticalStretch(0);
        sizePolicy4.setHeightForWidth(m_projStatusSpacer1->sizePolicy().hasHeightForWidth());
        m_projStatusSpacer1->setSizePolicy(sizePolicy4);
        m_projStatusSpacer1->setMinimumSize(QSize(20, 20));
        m_projStatusSpacer1->setFrameShape(QFrame::NoFrame);

        gridLayout->addWidget(m_projStatusSpacer1, 7, 3, 1, 1);

        m_projStatusSpacer2 = new QLabel(m_summaryPageLayout);
        m_projStatusSpacer2->setObjectName(QString::fromUtf8("m_projStatusSpacer2"));
        sizePolicy4.setHeightForWidth(m_projStatusSpacer2->sizePolicy().hasHeightForWidth());
        m_projStatusSpacer2->setSizePolicy(sizePolicy4);
        m_projStatusSpacer2->setMinimumSize(QSize(20, 20));
        m_projStatusSpacer2->setFrameShape(QFrame::NoFrame);

        gridLayout->addWidget(m_projStatusSpacer2, 8, 3, 1, 1);

        m_projStatusSpacer3 = new QLabel(m_summaryPageLayout);
        m_projStatusSpacer3->setObjectName(QString::fromUtf8("m_projStatusSpacer3"));
        sizePolicy4.setHeightForWidth(m_projStatusSpacer3->sizePolicy().hasHeightForWidth());
        m_projStatusSpacer3->setSizePolicy(sizePolicy4);
        m_projStatusSpacer3->setMinimumSize(QSize(16, 20));
        m_projStatusSpacer3->setFrameShape(QFrame::NoFrame);

        gridLayout->addWidget(m_projStatusSpacer3, 8, 4, 1, 1);

        m_projStatusSpacer4 = new QLabel(m_summaryPageLayout);
        m_projStatusSpacer4->setObjectName(QString::fromUtf8("m_projStatusSpacer4"));
        sizePolicy.setHeightForWidth(m_projStatusSpacer4->sizePolicy().hasHeightForWidth());
        m_projStatusSpacer4->setSizePolicy(sizePolicy);
        m_projStatusSpacer4->setMinimumSize(QSize(20, 20));
        m_projStatusSpacer4->setFrameShape(QFrame::NoFrame);

        gridLayout->addWidget(m_projStatusSpacer4, 8, 6, 1, 2);

        m_nonblockSpacer1 = new QLabel(m_summaryPageLayout);
        m_nonblockSpacer1->setObjectName(QString::fromUtf8("m_nonblockSpacer1"));
        sizePolicy4.setHeightForWidth(m_nonblockSpacer1->sizePolicy().hasHeightForWidth());
        m_nonblockSpacer1->setSizePolicy(sizePolicy4);
        m_nonblockSpacer1->setMinimumSize(QSize(20, 20));
        m_nonblockSpacer1->setFrameShape(QFrame::NoFrame);

        gridLayout->addWidget(m_nonblockSpacer1, 12, 3, 1, 1);

        m_nonblockSpacer2 = new QLabel(m_summaryPageLayout);
        m_nonblockSpacer2->setObjectName(QString::fromUtf8("m_nonblockSpacer2"));
        sizePolicy4.setHeightForWidth(m_nonblockSpacer2->sizePolicy().hasHeightForWidth());
        m_nonblockSpacer2->setSizePolicy(sizePolicy4);
        m_nonblockSpacer2->setMinimumSize(QSize(20, 20));
        m_nonblockSpacer2->setFrameShape(QFrame::NoFrame);

        gridLayout->addWidget(m_nonblockSpacer2, 13, 3, 1, 1);

        m_nonblockSpacer3 = new QLabel(m_summaryPageLayout);
        m_nonblockSpacer3->setObjectName(QString::fromUtf8("m_nonblockSpacer3"));
        sizePolicy4.setHeightForWidth(m_nonblockSpacer3->sizePolicy().hasHeightForWidth());
        m_nonblockSpacer3->setSizePolicy(sizePolicy4);
        m_nonblockSpacer3->setMinimumSize(QSize(16, 20));
        m_nonblockSpacer3->setFrameShape(QFrame::NoFrame);

        gridLayout->addWidget(m_nonblockSpacer3, 13, 4, 1, 1);

        m_nonblockSpacer4 = new QLabel(m_summaryPageLayout);
        m_nonblockSpacer4->setObjectName(QString::fromUtf8("m_nonblockSpacer4"));
        sizePolicy.setHeightForWidth(m_nonblockSpacer4->sizePolicy().hasHeightForWidth());
        m_nonblockSpacer4->setSizePolicy(sizePolicy);
        m_nonblockSpacer4->setMinimumSize(QSize(20, 20));
        m_nonblockSpacer4->setFrameShape(QFrame::NoFrame);

        gridLayout->addWidget(m_nonblockSpacer4, 13, 6, 1, 2);

        m_ctrlSpacer1 = new QLabel(m_summaryPageLayout);
        m_ctrlSpacer1->setObjectName(QString::fromUtf8("m_ctrlSpacer1"));
        sizePolicy4.setHeightForWidth(m_ctrlSpacer1->sizePolicy().hasHeightForWidth());
        m_ctrlSpacer1->setSizePolicy(sizePolicy4);
        m_ctrlSpacer1->setMinimumSize(QSize(20, 20));
        m_ctrlSpacer1->setFrameShape(QFrame::NoFrame);

        gridLayout->addWidget(m_ctrlSpacer1, 17, 3, 1, 1);

        m_ctrlSpacer2 = new QLabel(m_summaryPageLayout);
        m_ctrlSpacer2->setObjectName(QString::fromUtf8("m_ctrlSpacer2"));
        sizePolicy4.setHeightForWidth(m_ctrlSpacer2->sizePolicy().hasHeightForWidth());
        m_ctrlSpacer2->setSizePolicy(sizePolicy4);
        m_ctrlSpacer2->setMinimumSize(QSize(20, 20));
        m_ctrlSpacer2->setFrameShape(QFrame::NoFrame);

        gridLayout->addWidget(m_ctrlSpacer2, 18, 3, 1, 1);

        m_ctrlSpacer3 = new QLabel(m_summaryPageLayout);
        m_ctrlSpacer3->setObjectName(QString::fromUtf8("m_ctrlSpacer3"));
        sizePolicy4.setHeightForWidth(m_ctrlSpacer3->sizePolicy().hasHeightForWidth());
        m_ctrlSpacer3->setSizePolicy(sizePolicy4);
        m_ctrlSpacer3->setMinimumSize(QSize(16, 20));
        m_ctrlSpacer3->setFrameShape(QFrame::NoFrame);

        gridLayout->addWidget(m_ctrlSpacer3, 18, 4, 1, 1);

        m_ctrlSpacer4 = new QLabel(m_summaryPageLayout);
        m_ctrlSpacer4->setObjectName(QString::fromUtf8("m_ctrlSpacer4"));
        sizePolicy.setHeightForWidth(m_ctrlSpacer4->sizePolicy().hasHeightForWidth());
        m_ctrlSpacer4->setSizePolicy(sizePolicy);
        m_ctrlSpacer4->setMinimumSize(QSize(20, 20));
        m_ctrlSpacer4->setFrameShape(QFrame::NoFrame);

        gridLayout->addWidget(m_ctrlSpacer4, 18, 6, 1, 2);

        m_projDetailsTabWidg->addTab(summaryTab, QString());
        nonBlockTab = new QWidget();
        nonBlockTab->setObjectName(QString::fromUtf8("nonBlockTab"));
        m_nonBlockPageLayout = new QWidget(nonBlockTab);
        m_nonBlockPageLayout->setObjectName(QString::fromUtf8("m_nonBlockPageLayout"));
        m_nonBlockPageLayout->setGeometry(QRect(10, 10, 397, 471));
        gridLayout1 = new QGridLayout(m_nonBlockPageLayout);
        gridLayout1->setSpacing(3);
        gridLayout1->setMargin(0);
        gridLayout1->setObjectName(QString::fromUtf8("gridLayout1"));
        gridLayout1->setContentsMargins(0, 0, 0, 0);
        m_nonBlockVerifiedLabel = new QLabel(m_nonBlockPageLayout);
        m_nonBlockVerifiedLabel->setObjectName(QString::fromUtf8("m_nonBlockVerifiedLabel"));
        sizePolicy1.setHeightForWidth(m_nonBlockVerifiedLabel->sizePolicy().hasHeightForWidth());
        m_nonBlockVerifiedLabel->setSizePolicy(sizePolicy1);

        gridLayout1->addWidget(m_nonBlockVerifiedLabel, 1, 3, 1, 4);

        spacerItem5 = new QSpacerItem(320, 20, QSizePolicy::Preferred, QSizePolicy::Minimum);

        gridLayout1->addItem(spacerItem5, 3, 2, 1, 6);

        m_nonBlockFlatSysStatesWidg = new QLineEdit(m_nonBlockPageLayout);
        m_nonBlockFlatSysStatesWidg->setObjectName(QString::fromUtf8("m_nonBlockFlatSysStatesWidg"));
        QSizePolicy sizePolicy5(QSizePolicy::MinimumExpanding, QSizePolicy::Fixed);
        sizePolicy5.setHorizontalStretch(0);
        sizePolicy5.setVerticalStretch(0);
        sizePolicy5.setHeightForWidth(m_nonBlockFlatSysStatesWidg->sizePolicy().hasHeightForWidth());
        m_nonBlockFlatSysStatesWidg->setSizePolicy(sizePolicy5);
        m_nonBlockFlatSysStatesWidg->setMinimumSize(QSize(121, 20));
        m_nonBlockFlatSysStatesWidg->setReadOnly(true);

        gridLayout1->addWidget(m_nonBlockFlatSysStatesWidg, 6, 3, 1, 2);

        spacerItem6 = new QSpacerItem(20, 20, QSizePolicy::Fixed, QSizePolicy::Minimum);

        gridLayout1->addItem(spacerItem6, 1, 0, 1, 1);

        m_nonBlockStatsLine = new QGroupBox(m_nonBlockPageLayout);
        m_nonBlockStatsLine->setObjectName(QString::fromUtf8("m_nonBlockStatsLine"));
        m_nonBlockStatsLine->setFlat(true);

        gridLayout1->addWidget(m_nonBlockStatsLine, 4, 0, 1, 8);

        spacerItem7 = new QSpacerItem(161, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);

        gridLayout1->addItem(spacerItem7, 5, 5, 1, 3);

        spacerItem8 = new QSpacerItem(21, 20, QSizePolicy::Fixed, QSizePolicy::Minimum);

        gridLayout1->addItem(spacerItem8, 2, 2, 1, 1);

        m_nonBlockNotChkWidg = new QRadioButton(m_nonBlockPageLayout);
        m_nonBlockNotChkWidg->setObjectName(QString::fromUtf8("m_nonBlockNotChkWidg"));

        gridLayout1->addWidget(m_nonBlockNotChkWidg, 3, 1, 1, 1);

        m_nonBlockTimingLabel = new QLabel(m_nonBlockPageLayout);
        m_nonBlockTimingLabel->setObjectName(QString::fromUtf8("m_nonBlockTimingLabel"));

        gridLayout1->addWidget(m_nonBlockTimingLabel, 5, 1, 1, 1);

        spacerItem9 = new QSpacerItem(111, 20, QSizePolicy::Fixed, QSizePolicy::Minimum);

        gridLayout1->addItem(spacerItem9, 8, 1, 1, 2);

        spacerItem10 = new QSpacerItem(81, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);

        gridLayout1->addItem(spacerItem10, 2, 6, 1, 2);

        m_nonBlockFlatSysEventsLabel = new QLabel(m_nonBlockPageLayout);
        m_nonBlockFlatSysEventsLabel->setObjectName(QString::fromUtf8("m_nonBlockFlatSysEventsLabel"));
        sizePolicy1.setHeightForWidth(m_nonBlockFlatSysEventsLabel->sizePolicy().hasHeightForWidth());
        m_nonBlockFlatSysEventsLabel->setSizePolicy(sizePolicy1);

        gridLayout1->addWidget(m_nonBlockFlatSysEventsLabel, 7, 5, 1, 2);

        spacerItem11 = new QSpacerItem(21, 20, QSizePolicy::Fixed, QSizePolicy::Minimum);

        gridLayout1->addItem(spacerItem11, 1, 2, 1, 1);

        m_nonBlockOutputLine = new QGroupBox(m_nonBlockPageLayout);
        m_nonBlockOutputLine->setObjectName(QString::fromUtf8("m_nonBlockOutputLine"));
        m_nonBlockOutputLine->setFlat(true);

        gridLayout1->addWidget(m_nonBlockOutputLine, 9, 0, 1, 8);

        spacerItem12 = new QSpacerItem(21, 20, QSizePolicy::Fixed, QSizePolicy::Minimum);

        gridLayout1->addItem(spacerItem12, 5, 2, 1, 1);

        m_nonBlockFlatSysStatesLabel = new QLabel(m_nonBlockPageLayout);
        m_nonBlockFlatSysStatesLabel->setObjectName(QString::fromUtf8("m_nonBlockFlatSysStatesLabel"));
        sizePolicy1.setHeightForWidth(m_nonBlockFlatSysStatesLabel->sizePolicy().hasHeightForWidth());
        m_nonBlockFlatSysStatesLabel->setSizePolicy(sizePolicy1);

        gridLayout1->addWidget(m_nonBlockFlatSysStatesLabel, 6, 5, 1, 2);

        m_nonBlockFlatSizeLabel = new QLabel(m_nonBlockPageLayout);
        m_nonBlockFlatSizeLabel->setObjectName(QString::fromUtf8("m_nonBlockFlatSizeLabel"));

        gridLayout1->addWidget(m_nonBlockFlatSizeLabel, 6, 1, 1, 1);

        spacerItem13 = new QSpacerItem(10, 20, QSizePolicy::Fixed, QSizePolicy::Minimum);

        gridLayout1->addItem(spacerItem13, 10, 7, 1, 1);

        m_nonBlockFlatSysEventsWidg = new QLineEdit(m_nonBlockPageLayout);
        m_nonBlockFlatSysEventsWidg->setObjectName(QString::fromUtf8("m_nonBlockFlatSysEventsWidg"));
        sizePolicy5.setHeightForWidth(m_nonBlockFlatSysEventsWidg->sizePolicy().hasHeightForWidth());
        m_nonBlockFlatSysEventsWidg->setSizePolicy(sizePolicy5);
        m_nonBlockFlatSysEventsWidg->setMinimumSize(QSize(121, 20));
        m_nonBlockFlatSysEventsWidg->setReadOnly(true);

        gridLayout1->addWidget(m_nonBlockFlatSysEventsWidg, 7, 3, 1, 2);

        m_nonBlockYesWidg = new QRadioButton(m_nonBlockPageLayout);
        m_nonBlockYesWidg->setObjectName(QString::fromUtf8("m_nonBlockYesWidg"));

        gridLayout1->addWidget(m_nonBlockYesWidg, 1, 1, 1, 1);

        m_nonBlockFlatSysTransLabel = new QLabel(m_nonBlockPageLayout);
        m_nonBlockFlatSysTransLabel->setObjectName(QString::fromUtf8("m_nonBlockFlatSysTransLabel"));
        sizePolicy1.setHeightForWidth(m_nonBlockFlatSysTransLabel->sizePolicy().hasHeightForWidth());
        m_nonBlockFlatSysTransLabel->setSizePolicy(sizePolicy1);

        gridLayout1->addWidget(m_nonBlockFlatSysTransLabel, 8, 5, 1, 2);

        m_nonBlockTimingWidg = new QLineEdit(m_nonBlockPageLayout);
        m_nonBlockTimingWidg->setObjectName(QString::fromUtf8("m_nonBlockTimingWidg"));
        sizePolicy5.setHeightForWidth(m_nonBlockTimingWidg->sizePolicy().hasHeightForWidth());
        m_nonBlockTimingWidg->setSizePolicy(sizePolicy5);
        m_nonBlockTimingWidg->setMinimumSize(QSize(121, 20));
        m_nonBlockTimingWidg->setReadOnly(true);

        gridLayout1->addWidget(m_nonBlockTimingWidg, 5, 3, 1, 2);

        spacerItem14 = new QSpacerItem(21, 20, QSizePolicy::Fixed, QSizePolicy::Minimum);

        gridLayout1->addItem(spacerItem14, 6, 2, 1, 1);

        m_nonBlockFlatSysTransWidg = new QLineEdit(m_nonBlockPageLayout);
        m_nonBlockFlatSysTransWidg->setObjectName(QString::fromUtf8("m_nonBlockFlatSysTransWidg"));
        sizePolicy5.setHeightForWidth(m_nonBlockFlatSysTransWidg->sizePolicy().hasHeightForWidth());
        m_nonBlockFlatSysTransWidg->setSizePolicy(sizePolicy5);
        m_nonBlockFlatSysTransWidg->setMinimumSize(QSize(121, 20));
        m_nonBlockFlatSysTransWidg->setReadOnly(true);

        gridLayout1->addWidget(m_nonBlockFlatSysTransWidg, 8, 3, 1, 2);

        m_nonBlockLine = new QGroupBox(m_nonBlockPageLayout);
        m_nonBlockLine->setObjectName(QString::fromUtf8("m_nonBlockLine"));
        m_nonBlockLine->setFlat(true);

        gridLayout1->addWidget(m_nonBlockLine, 0, 0, 1, 8);

        spacerItem15 = new QSpacerItem(111, 20, QSizePolicy::Fixed, QSizePolicy::Minimum);

        gridLayout1->addItem(spacerItem15, 7, 1, 1, 2);

        m_nonBlockDateStampWidg = new QDateTimeEdit(m_nonBlockPageLayout);
        m_nonBlockDateStampWidg->setObjectName(QString::fromUtf8("m_nonBlockDateStampWidg"));
        sizePolicy4.setHeightForWidth(m_nonBlockDateStampWidg->sizePolicy().hasHeightForWidth());
        m_nonBlockDateStampWidg->setSizePolicy(sizePolicy4);
        m_nonBlockDateStampWidg->setMinimumSize(QSize(150, 20));
        m_nonBlockDateStampWidg->setReadOnly(true);

        gridLayout1->addWidget(m_nonBlockDateStampWidg, 2, 4, 1, 2);

        m_nonBlockNoWidg = new QRadioButton(m_nonBlockPageLayout);
        m_nonBlockNoWidg->setObjectName(QString::fromUtf8("m_nonBlockNoWidg"));

        gridLayout1->addWidget(m_nonBlockNoWidg, 2, 1, 1, 1);

        spacerItem16 = new QSpacerItem(10, 20, QSizePolicy::Fixed, QSizePolicy::Minimum);

        gridLayout1->addItem(spacerItem16, 2, 3, 1, 1);

        m_nonBlockOutputWidg = new DESpot::OutputWidget(m_nonBlockPageLayout);
        m_nonBlockOutputWidg->setObjectName(QString::fromUtf8("m_nonBlockOutputWidg"));

        gridLayout1->addWidget(m_nonBlockOutputWidg, 10, 1, 1, 6);

        m_projDetailsTabWidg->addTab(nonBlockTab, QString());
        ctrlTab = new QWidget();
        ctrlTab->setObjectName(QString::fromUtf8("ctrlTab"));
        m_ctrlPageLayout = new QWidget(ctrlTab);
        m_ctrlPageLayout->setObjectName(QString::fromUtf8("m_ctrlPageLayout"));
        m_ctrlPageLayout->setGeometry(QRect(10, 10, 396, 471));
        gridLayout2 = new QGridLayout(m_ctrlPageLayout);
        gridLayout2->setSpacing(3);
        gridLayout2->setMargin(0);
        gridLayout2->setObjectName(QString::fromUtf8("gridLayout2"));
        gridLayout2->setContentsMargins(0, 0, 0, 0);
        m_ctrlVerifiedLabel = new QLabel(m_ctrlPageLayout);
        m_ctrlVerifiedLabel->setObjectName(QString::fromUtf8("m_ctrlVerifiedLabel"));
        sizePolicy1.setHeightForWidth(m_ctrlVerifiedLabel->sizePolicy().hasHeightForWidth());
        m_ctrlVerifiedLabel->setSizePolicy(sizePolicy1);

        gridLayout2->addWidget(m_ctrlVerifiedLabel, 1, 3, 1, 4);

        spacerItem17 = new QSpacerItem(320, 20, QSizePolicy::Preferred, QSizePolicy::Minimum);

        gridLayout2->addItem(spacerItem17, 3, 2, 1, 6);

        m_ctrlFlatSysStatesWidg = new QLineEdit(m_ctrlPageLayout);
        m_ctrlFlatSysStatesWidg->setObjectName(QString::fromUtf8("m_ctrlFlatSysStatesWidg"));
        sizePolicy5.setHeightForWidth(m_ctrlFlatSysStatesWidg->sizePolicy().hasHeightForWidth());
        m_ctrlFlatSysStatesWidg->setSizePolicy(sizePolicy5);
        m_ctrlFlatSysStatesWidg->setMinimumSize(QSize(121, 20));
        m_ctrlFlatSysStatesWidg->setReadOnly(true);

        gridLayout2->addWidget(m_ctrlFlatSysStatesWidg, 6, 3, 1, 2);

        spacerItem18 = new QSpacerItem(20, 20, QSizePolicy::Fixed, QSizePolicy::Minimum);

        gridLayout2->addItem(spacerItem18, 1, 0, 1, 1);

        m_ctrlStatsLine = new QGroupBox(m_ctrlPageLayout);
        m_ctrlStatsLine->setObjectName(QString::fromUtf8("m_ctrlStatsLine"));
        m_ctrlStatsLine->setFlat(true);

        gridLayout2->addWidget(m_ctrlStatsLine, 4, 0, 1, 8);

        spacerItem19 = new QSpacerItem(161, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);

        gridLayout2->addItem(spacerItem19, 5, 5, 1, 3);

        spacerItem20 = new QSpacerItem(21, 20, QSizePolicy::Fixed, QSizePolicy::Minimum);

        gridLayout2->addItem(spacerItem20, 2, 2, 1, 1);

        m_ctrlNotChkWidg = new QRadioButton(m_ctrlPageLayout);
        m_ctrlNotChkWidg->setObjectName(QString::fromUtf8("m_ctrlNotChkWidg"));

        gridLayout2->addWidget(m_ctrlNotChkWidg, 3, 1, 1, 1);

        m_ctrlTimingLabel = new QLabel(m_ctrlPageLayout);
        m_ctrlTimingLabel->setObjectName(QString::fromUtf8("m_ctrlTimingLabel"));

        gridLayout2->addWidget(m_ctrlTimingLabel, 5, 1, 1, 1);

        spacerItem21 = new QSpacerItem(111, 20, QSizePolicy::Fixed, QSizePolicy::Minimum);

        gridLayout2->addItem(spacerItem21, 8, 1, 1, 2);

        spacerItem22 = new QSpacerItem(81, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);

        gridLayout2->addItem(spacerItem22, 2, 6, 1, 2);

        m_ctrlFlatSysEventsLabel = new QLabel(m_ctrlPageLayout);
        m_ctrlFlatSysEventsLabel->setObjectName(QString::fromUtf8("m_ctrlFlatSysEventsLabel"));
        sizePolicy1.setHeightForWidth(m_ctrlFlatSysEventsLabel->sizePolicy().hasHeightForWidth());
        m_ctrlFlatSysEventsLabel->setSizePolicy(sizePolicy1);

        gridLayout2->addWidget(m_ctrlFlatSysEventsLabel, 7, 5, 1, 2);

        spacerItem23 = new QSpacerItem(21, 20, QSizePolicy::Fixed, QSizePolicy::Minimum);

        gridLayout2->addItem(spacerItem23, 1, 2, 1, 1);

        m_ctrlOutputLine = new QGroupBox(m_ctrlPageLayout);
        m_ctrlOutputLine->setObjectName(QString::fromUtf8("m_ctrlOutputLine"));
        m_ctrlOutputLine->setFlat(true);

        gridLayout2->addWidget(m_ctrlOutputLine, 9, 0, 1, 8);

        spacerItem24 = new QSpacerItem(21, 20, QSizePolicy::Fixed, QSizePolicy::Minimum);

        gridLayout2->addItem(spacerItem24, 5, 2, 1, 1);

        m_ctrlFlatSysStatesLabel = new QLabel(m_ctrlPageLayout);
        m_ctrlFlatSysStatesLabel->setObjectName(QString::fromUtf8("m_ctrlFlatSysStatesLabel"));
        sizePolicy1.setHeightForWidth(m_ctrlFlatSysStatesLabel->sizePolicy().hasHeightForWidth());
        m_ctrlFlatSysStatesLabel->setSizePolicy(sizePolicy1);

        gridLayout2->addWidget(m_ctrlFlatSysStatesLabel, 6, 5, 1, 2);

        m_ctrlFlatSysLabel = new QLabel(m_ctrlPageLayout);
        m_ctrlFlatSysLabel->setObjectName(QString::fromUtf8("m_ctrlFlatSysLabel"));

        gridLayout2->addWidget(m_ctrlFlatSysLabel, 6, 1, 1, 1);

        spacerItem25 = new QSpacerItem(10, 20, QSizePolicy::Fixed, QSizePolicy::Minimum);

        gridLayout2->addItem(spacerItem25, 10, 7, 1, 1);

        m_ctrlFlatSysEventsWidg = new QLineEdit(m_ctrlPageLayout);
        m_ctrlFlatSysEventsWidg->setObjectName(QString::fromUtf8("m_ctrlFlatSysEventsWidg"));
        sizePolicy5.setHeightForWidth(m_ctrlFlatSysEventsWidg->sizePolicy().hasHeightForWidth());
        m_ctrlFlatSysEventsWidg->setSizePolicy(sizePolicy5);
        m_ctrlFlatSysEventsWidg->setMinimumSize(QSize(121, 20));
        m_ctrlFlatSysEventsWidg->setReadOnly(true);

        gridLayout2->addWidget(m_ctrlFlatSysEventsWidg, 7, 3, 1, 2);

        m_ctrlYesWidg = new QRadioButton(m_ctrlPageLayout);
        m_ctrlYesWidg->setObjectName(QString::fromUtf8("m_ctrlYesWidg"));

        gridLayout2->addWidget(m_ctrlYesWidg, 1, 1, 1, 1);

        m_ctrlFlatSysEventsTrans = new QLabel(m_ctrlPageLayout);
        m_ctrlFlatSysEventsTrans->setObjectName(QString::fromUtf8("m_ctrlFlatSysEventsTrans"));
        sizePolicy1.setHeightForWidth(m_ctrlFlatSysEventsTrans->sizePolicy().hasHeightForWidth());
        m_ctrlFlatSysEventsTrans->setSizePolicy(sizePolicy1);

        gridLayout2->addWidget(m_ctrlFlatSysEventsTrans, 8, 5, 1, 2);

        m_ctrlTimingWidg = new QLineEdit(m_ctrlPageLayout);
        m_ctrlTimingWidg->setObjectName(QString::fromUtf8("m_ctrlTimingWidg"));
        sizePolicy5.setHeightForWidth(m_ctrlTimingWidg->sizePolicy().hasHeightForWidth());
        m_ctrlTimingWidg->setSizePolicy(sizePolicy5);
        m_ctrlTimingWidg->setMinimumSize(QSize(121, 20));
        m_ctrlTimingWidg->setReadOnly(true);

        gridLayout2->addWidget(m_ctrlTimingWidg, 5, 3, 1, 2);

        spacerItem26 = new QSpacerItem(21, 20, QSizePolicy::Fixed, QSizePolicy::Minimum);

        gridLayout2->addItem(spacerItem26, 6, 2, 1, 1);

        m_ctrlFlatSysTransWidg = new QLineEdit(m_ctrlPageLayout);
        m_ctrlFlatSysTransWidg->setObjectName(QString::fromUtf8("m_ctrlFlatSysTransWidg"));
        sizePolicy5.setHeightForWidth(m_ctrlFlatSysTransWidg->sizePolicy().hasHeightForWidth());
        m_ctrlFlatSysTransWidg->setSizePolicy(sizePolicy5);
        m_ctrlFlatSysTransWidg->setMinimumSize(QSize(121, 20));
        m_ctrlFlatSysTransWidg->setReadOnly(true);

        gridLayout2->addWidget(m_ctrlFlatSysTransWidg, 8, 3, 1, 2);

        m_ctrlLine = new QGroupBox(m_ctrlPageLayout);
        m_ctrlLine->setObjectName(QString::fromUtf8("m_ctrlLine"));
        m_ctrlLine->setFlat(true);

        gridLayout2->addWidget(m_ctrlLine, 0, 0, 1, 8);

        spacerItem27 = new QSpacerItem(111, 20, QSizePolicy::Fixed, QSizePolicy::Minimum);

        gridLayout2->addItem(spacerItem27, 7, 1, 1, 2);

        m_ctrlDateStampWidg = new QDateTimeEdit(m_ctrlPageLayout);
        m_ctrlDateStampWidg->setObjectName(QString::fromUtf8("m_ctrlDateStampWidg"));
        sizePolicy4.setHeightForWidth(m_ctrlDateStampWidg->sizePolicy().hasHeightForWidth());
        m_ctrlDateStampWidg->setSizePolicy(sizePolicy4);
        m_ctrlDateStampWidg->setMinimumSize(QSize(150, 20));
        m_ctrlDateStampWidg->setReadOnly(true);

        gridLayout2->addWidget(m_ctrlDateStampWidg, 2, 4, 1, 2);

        m_ctrlNoWidg = new QRadioButton(m_ctrlPageLayout);
        m_ctrlNoWidg->setObjectName(QString::fromUtf8("m_ctrlNoWidg"));

        gridLayout2->addWidget(m_ctrlNoWidg, 2, 1, 1, 1);

        spacerItem28 = new QSpacerItem(10, 20, QSizePolicy::Fixed, QSizePolicy::Minimum);

        gridLayout2->addItem(spacerItem28, 2, 3, 1, 1);

        m_ctrlOutputWidg = new DESpot::OutputWidget(m_ctrlPageLayout);
        m_ctrlOutputWidg->setObjectName(QString::fromUtf8("m_ctrlOutputWidg"));

        gridLayout2->addWidget(m_ctrlOutputWidg, 10, 1, 1, 6);

        m_projDetailsTabWidg->addTab(ctrlTab, QString());
        desViewTab = new QWidget();
        desViewTab->setObjectName(QString::fromUtf8("desViewTab"));
        m_desDetailsLayoutWidg = new QWidget(desViewTab);
        m_desDetailsLayoutWidg->setObjectName(QString::fromUtf8("m_desDetailsLayoutWidg"));
        m_desDetailsLayoutWidg->setGeometry(QRect(0, 10, 438, 581));
        gridLayout3 = new QGridLayout(m_desDetailsLayoutWidg);
        gridLayout3->setSpacing(6);
        gridLayout3->setMargin(8);
        gridLayout3->setObjectName(QString::fromUtf8("gridLayout3"));
        gridLayout3->setContentsMargins(0, 0, 0, 0);
        m_initStateDisplay = new QLabel(m_desDetailsLayoutWidg);
        m_initStateDisplay->setObjectName(QString::fromUtf8("m_initStateDisplay"));

        gridLayout3->addWidget(m_initStateDisplay, 6, 2, 1, 2);

        m_eventListLabel = new QLabel(m_desDetailsLayoutWidg);
        m_eventListLabel->setObjectName(QString::fromUtf8("m_eventListLabel"));
        m_eventListLabel->setAlignment(Qt::AlignLeading|Qt::AlignLeft|Qt::AlignTop);

        gridLayout3->addWidget(m_eventListLabel, 13, 1, 1, 1);

        m_locationLabel = new QLabel(m_desDetailsLayoutWidg);
        m_locationLabel->setObjectName(QString::fromUtf8("m_locationLabel"));
        m_locationLabel->setMargin(2);

        gridLayout3->addWidget(m_locationLabel, 3, 1, 1, 1);

        m_desTypeLabel = new QLabel(m_desDetailsLayoutWidg);
        m_desTypeLabel->setObjectName(QString::fromUtf8("m_desTypeLabel"));
        m_desTypeLabel->setMargin(2);

        gridLayout3->addWidget(m_desTypeLabel, 2, 1, 1, 1);

        m_desTypeDisplay = new QLabel(m_desDetailsLayoutWidg);
        m_desTypeDisplay->setObjectName(QString::fromUtf8("m_desTypeDisplay"));
        m_desTypeDisplay->setMinimumSize(QSize(40, 20));
        m_desTypeDisplay->setFrameShape(QFrame::StyledPanel);
        m_desTypeDisplay->setMargin(2);

        gridLayout3->addWidget(m_desTypeDisplay, 2, 2, 1, 1);

        m_eventType0CountDisplay = new QLabel(m_desDetailsLayoutWidg);
        m_eventType0CountDisplay->setObjectName(QString::fromUtf8("m_eventType0CountDisplay"));

        gridLayout3->addWidget(m_eventType0CountDisplay, 11, 4, 1, 1);

        m_transCountLabel = new QLabel(m_desDetailsLayoutWidg);
        m_transCountLabel->setObjectName(QString::fromUtf8("m_transCountLabel"));

        gridLayout3->addWidget(m_transCountLabel, 16, 1, 1, 1);

        m_eventType1CountDisplay = new QLabel(m_desDetailsLayoutWidg);
        m_eventType1CountDisplay->setObjectName(QString::fromUtf8("m_eventType1CountDisplay"));

        gridLayout3->addWidget(m_eventType1CountDisplay, 12, 2, 1, 1);

        m_stateCountLabel = new QLabel(m_desDetailsLayoutWidg);
        m_stateCountLabel->setObjectName(QString::fromUtf8("m_stateCountLabel"));

        gridLayout3->addWidget(m_stateCountLabel, 7, 1, 1, 1);

        m_eventCountLabel = new QLabel(m_desDetailsLayoutWidg);
        m_eventCountLabel->setObjectName(QString::fromUtf8("m_eventCountLabel"));

        gridLayout3->addWidget(m_eventCountLabel, 11, 1, 1, 1);

        m_desStatusLabel = new QLabel(m_desDetailsLayoutWidg);
        m_desStatusLabel->setObjectName(QString::fromUtf8("m_desStatusLabel"));
        m_desStatusLabel->setAlignment(Qt::AlignRight|Qt::AlignTrailing|Qt::AlignVCenter);
        m_desStatusLabel->setMargin(2);

        gridLayout3->addWidget(m_desStatusLabel, 2, 3, 1, 1);

        spacerItem29 = new QSpacerItem(10, 20, QSizePolicy::Fixed, QSizePolicy::Minimum);

        gridLayout3->addItem(spacerItem29, 1, 5, 1, 1);

        m_initStateLabel = new QLabel(m_desDetailsLayoutWidg);
        m_initStateLabel->setObjectName(QString::fromUtf8("m_initStateLabel"));

        gridLayout3->addWidget(m_initStateLabel, 6, 1, 1, 1);

        spacerItem30 = new QSpacerItem(40, 5, QSizePolicy::Expanding, QSizePolicy::Minimum);

        gridLayout3->addItem(spacerItem30, 14, 1, 1, 4);

        m_transListLabel = new QLabel(m_desDetailsLayoutWidg);
        m_transListLabel->setObjectName(QString::fromUtf8("m_transListLabel"));
        m_transListLabel->setAlignment(Qt::AlignLeading|Qt::AlignLeft|Qt::AlignTop);

        gridLayout3->addWidget(m_transListLabel, 17, 1, 1, 1);

        m_stateTableWidg = new DESpot::DesStateSetTableWidget(m_desDetailsLayoutWidg);
        m_stateTableWidg->setObjectName(QString::fromUtf8("m_stateTableWidg"));
        m_stateTableWidg->setEnabled(true);
        m_stateTableWidg->setMinimumSize(QSize(250, 40));
        m_stateTableWidg->setVerticalScrollBarPolicy(Qt::ScrollBarAsNeeded);
        m_stateTableWidg->setHorizontalScrollBarPolicy(Qt::ScrollBarAlwaysOff);
        m_stateTableWidg->setAlternatingRowColors(false);
        m_stateTableWidg->setSelectionMode(QAbstractItemView::SingleSelection);
        m_stateTableWidg->setShowGrid(false);
        m_stateTableWidg->setGridStyle(Qt::NoPen);
        m_stateTableWidg->setRowCount(0);
        m_stateTableWidg->setColumnCount(0);

        gridLayout3->addWidget(m_stateTableWidg, 8, 2, 1, 3);

        m_desStatusDisplay = new QLabel(m_desDetailsLayoutWidg);
        m_desStatusDisplay->setObjectName(QString::fromUtf8("m_desStatusDisplay"));
        m_desStatusDisplay->setMinimumSize(QSize(40, 20));
        m_desStatusDisplay->setFrameShape(QFrame::StyledPanel);
        m_desStatusDisplay->setMargin(2);

        gridLayout3->addWidget(m_desStatusDisplay, 2, 4, 1, 1);

        m_desLocDisplay = new QLabel(m_desDetailsLayoutWidg);
        m_desLocDisplay->setObjectName(QString::fromUtf8("m_desLocDisplay"));
        m_desLocDisplay->setMinimumSize(QSize(40, 20));
        m_desLocDisplay->setFrameShape(QFrame::StyledPanel);
        m_desLocDisplay->setMargin(2);

        gridLayout3->addWidget(m_desLocDisplay, 3, 2, 1, 3);

        m_stateCountDisplay = new QLabel(m_desDetailsLayoutWidg);
        m_stateCountDisplay->setObjectName(QString::fromUtf8("m_stateCountDisplay"));

        gridLayout3->addWidget(m_stateCountDisplay, 7, 2, 1, 1);

        m_eventCountDisplay = new QLabel(m_desDetailsLayoutWidg);
        m_eventCountDisplay->setObjectName(QString::fromUtf8("m_eventCountDisplay"));
        m_eventCountDisplay->setAlignment(Qt::AlignVCenter);

        gridLayout3->addWidget(m_eventCountDisplay, 11, 2, 1, 1);

        m_markedStateCountDisplay = new QLabel(m_desDetailsLayoutWidg);
        m_markedStateCountDisplay->setObjectName(QString::fromUtf8("m_markedStateCountDisplay"));

        gridLayout3->addWidget(m_markedStateCountDisplay, 7, 4, 1, 1);

        m_desNameLabel = new QLabel(m_desDetailsLayoutWidg);
        m_desNameLabel->setObjectName(QString::fromUtf8("m_desNameLabel"));
        m_desNameLabel->setMargin(2);

        gridLayout3->addWidget(m_desNameLabel, 1, 1, 1, 1);

        m_desNameDisplay = new QLabel(m_desDetailsLayoutWidg);
        m_desNameDisplay->setObjectName(QString::fromUtf8("m_desNameDisplay"));
        m_desNameDisplay->setMinimumSize(QSize(40, 20));
        m_desNameDisplay->setFrameShape(QFrame::StyledPanel);
        m_desNameDisplay->setMargin(2);

        gridLayout3->addWidget(m_desNameDisplay, 1, 2, 1, 3);

        m_transCountDisplay = new QLabel(m_desDetailsLayoutWidg);
        m_transCountDisplay->setObjectName(QString::fromUtf8("m_transCountDisplay"));

        gridLayout3->addWidget(m_transCountDisplay, 16, 2, 1, 1);

        m_stateListLabel = new QLabel(m_desDetailsLayoutWidg);
        m_stateListLabel->setObjectName(QString::fromUtf8("m_stateListLabel"));
        m_stateListLabel->setAlignment(Qt::AlignLeading|Qt::AlignLeft|Qt::AlignTop);

        gridLayout3->addWidget(m_stateListLabel, 8, 1, 1, 1);

        m_transTableWidg = new DESpot::DesTransSetTableWidget(m_desDetailsLayoutWidg);
        m_transTableWidg->setObjectName(QString::fromUtf8("m_transTableWidg"));
        m_transTableWidg->setEnabled(true);
        m_transTableWidg->setMinimumSize(QSize(250, 40));
        m_transTableWidg->setHorizontalScrollBarPolicy(Qt::ScrollBarAlwaysOff);
        m_transTableWidg->setSelectionMode(QAbstractItemView::SingleSelection);
        m_transTableWidg->setShowGrid(false);
        m_transTableWidg->setGridStyle(Qt::NoPen);

        gridLayout3->addWidget(m_transTableWidg, 17, 2, 1, 3);

        m_eventType2CountDisplay = new QLabel(m_desDetailsLayoutWidg);
        m_eventType2CountDisplay->setObjectName(QString::fromUtf8("m_eventType2CountDisplay"));

        gridLayout3->addWidget(m_eventType2CountDisplay, 12, 3, 1, 1);

        m_ctrlEventCountDisplay = new QLabel(m_desDetailsLayoutWidg);
        m_ctrlEventCountDisplay->setObjectName(QString::fromUtf8("m_ctrlEventCountDisplay"));

        gridLayout3->addWidget(m_ctrlEventCountDisplay, 11, 3, 1, 1);

        spacerItem31 = new QSpacerItem(10, 20, QSizePolicy::Fixed, QSizePolicy::Minimum);

        gridLayout3->addItem(spacerItem31, 1, 0, 1, 1);

        m_desPropertiesLine = new QGroupBox(m_desDetailsLayoutWidg);
        m_desPropertiesLine->setObjectName(QString::fromUtf8("m_desPropertiesLine"));
        sizePolicy.setHeightForWidth(m_desPropertiesLine->sizePolicy().hasHeightForWidth());
        m_desPropertiesLine->setSizePolicy(sizePolicy);
        m_desPropertiesLine->setMinimumSize(QSize(16, 16));
        m_desPropertiesLine->setFlat(true);

        gridLayout3->addWidget(m_desPropertiesLine, 0, 0, 1, 6);

        m_statesLine = new QGroupBox(m_desDetailsLayoutWidg);
        m_statesLine->setObjectName(QString::fromUtf8("m_statesLine"));
        sizePolicy.setHeightForWidth(m_statesLine->sizePolicy().hasHeightForWidth());
        m_statesLine->setSizePolicy(sizePolicy);
        m_statesLine->setMinimumSize(QSize(16, 16));
        m_statesLine->setFlat(true);

        gridLayout3->addWidget(m_statesLine, 5, 0, 1, 6);

        m_eventsLine = new QGroupBox(m_desDetailsLayoutWidg);
        m_eventsLine->setObjectName(QString::fromUtf8("m_eventsLine"));
        sizePolicy.setHeightForWidth(m_eventsLine->sizePolicy().hasHeightForWidth());
        m_eventsLine->setSizePolicy(sizePolicy);
        m_eventsLine->setMinimumSize(QSize(16, 16));
        m_eventsLine->setFlat(true);

        gridLayout3->addWidget(m_eventsLine, 10, 0, 1, 6);

        spacerItem32 = new QSpacerItem(40, 5, QSizePolicy::Expanding, QSizePolicy::Minimum);

        gridLayout3->addItem(spacerItem32, 4, 1, 1, 4);

        spacerItem33 = new QSpacerItem(40, 5, QSizePolicy::Expanding, QSizePolicy::Minimum);

        gridLayout3->addItem(spacerItem33, 9, 1, 1, 4);

        m_transLine = new QGroupBox(m_desDetailsLayoutWidg);
        m_transLine->setObjectName(QString::fromUtf8("m_transLine"));
        sizePolicy.setHeightForWidth(m_transLine->sizePolicy().hasHeightForWidth());
        m_transLine->setSizePolicy(sizePolicy);
        m_transLine->setMinimumSize(QSize(16, 16));
        m_transLine->setFlat(true);

        gridLayout3->addWidget(m_transLine, 15, 0, 1, 6);

        m_eventType3CountDisplay = new QLabel(m_desDetailsLayoutWidg);
        m_eventType3CountDisplay->setObjectName(QString::fromUtf8("m_eventType3CountDisplay"));

        gridLayout3->addWidget(m_eventType3CountDisplay, 12, 4, 1, 1);

        m_selfTransCountDisplay = new QLabel(m_desDetailsLayoutWidg);
        m_selfTransCountDisplay->setObjectName(QString::fromUtf8("m_selfTransCountDisplay"));

        gridLayout3->addWidget(m_selfTransCountDisplay, 16, 4, 1, 1);

        m_eventTableWidg = new DESpot::DesEventSetTableWidget(m_desDetailsLayoutWidg);
        m_eventTableWidg->setObjectName(QString::fromUtf8("m_eventTableWidg"));
        m_eventTableWidg->setEnabled(true);
        m_eventTableWidg->setMinimumSize(QSize(250, 40));
        m_eventTableWidg->setHorizontalScrollBarPolicy(Qt::ScrollBarAlwaysOff);
        m_eventTableWidg->setSelectionMode(QAbstractItemView::SingleSelection);
        m_eventTableWidg->setShowGrid(false);
        m_eventTableWidg->setGridStyle(Qt::NoPen);

        gridLayout3->addWidget(m_eventTableWidg, 13, 2, 1, 3);

        m_projDetailsTabWidg->addTab(desViewTab, QString());
        outputTab = new QWidget();
        outputTab->setObjectName(QString::fromUtf8("outputTab"));
        m_outputPageLayout = new QWidget(outputTab);
        m_outputPageLayout->setObjectName(QString::fromUtf8("m_outputPageLayout"));
        m_outputPageLayout->setGeometry(QRect(10, 10, 391, 521));
        gridLayout4 = new QGridLayout(m_outputPageLayout);
        gridLayout4->setSpacing(6);
        gridLayout4->setMargin(0);
        gridLayout4->setObjectName(QString::fromUtf8("gridLayout4"));
        gridLayout4->setContentsMargins(0, 0, 0, 0);
        spacerItem34 = new QSpacerItem(21, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);

        gridLayout4->addItem(spacerItem34, 0, 2, 1, 1);

        m_showOutputForWidg = new QComboBox(m_outputPageLayout);
        m_showOutputForWidg->setObjectName(QString::fromUtf8("m_showOutputForWidg"));

        gridLayout4->addWidget(m_showOutputForWidg, 0, 1, 1, 1);

        m_clearBtn = new QToolButton(m_outputPageLayout);
        m_clearBtn->setObjectName(QString::fromUtf8("m_clearBtn"));
        QIcon icon;
        icon.addFile(QString::fromUtf8(":/resources/clear.png"), QSize(), QIcon::Normal, QIcon::Off);
        m_clearBtn->setIcon(icon);
        m_clearBtn->setAutoRaise(true);

        gridLayout4->addWidget(m_clearBtn, 0, 4, 1, 1);

        m_copyBtn = new QToolButton(m_outputPageLayout);
        m_copyBtn->setObjectName(QString::fromUtf8("m_copyBtn"));
        QIcon icon1;
        icon1.addFile(QString::fromUtf8(":/resources/copy.png"), QSize(), QIcon::Normal, QIcon::Off);
        m_copyBtn->setIcon(icon1);
        m_copyBtn->setAutoRaise(true);

        gridLayout4->addWidget(m_copyBtn, 0, 3, 1, 1);

        m_wrapBtn = new QToolButton(m_outputPageLayout);
        m_wrapBtn->setObjectName(QString::fromUtf8("m_wrapBtn"));
        QIcon icon2;
        icon2.addFile(QString::fromUtf8(":/resources/wordwrap.png"), QSize(), QIcon::Normal, QIcon::Off);
        m_wrapBtn->setIcon(icon2);
        m_wrapBtn->setAutoRaise(true);

        gridLayout4->addWidget(m_wrapBtn, 0, 5, 1, 1);

        label = new QLabel(m_outputPageLayout);
        label->setObjectName(QString::fromUtf8("label"));

        gridLayout4->addWidget(label, 0, 0, 1, 1);

        m_outputWidg = new DESpot::OutputWidget(m_outputPageLayout);
        m_outputWidg->setObjectName(QString::fromUtf8("m_outputWidg"));
        m_outputWidg->setAutoFormatting(QTextEdit::AutoBulletList);
        m_outputWidg->setReadOnly(true);

        gridLayout4->addWidget(m_outputWidg, 1, 0, 1, 6);

        m_projDetailsTabWidg->addTab(outputTab, QString());
        m_mainSplitterWidg->addWidget(m_projDetailsTabWidg);
        m_progressWidget = new DESpot::ProgressWidget(centralWidget);
        m_progressWidget->setObjectName(QString::fromUtf8("m_progressWidget"));
        m_progressWidget->setGeometry(QRect(1030, 630, 150, 15));
        QSizePolicy sizePolicy6(QSizePolicy::Ignored, QSizePolicy::Ignored);
        sizePolicy6.setHorizontalStretch(0);
        sizePolicy6.setVerticalStretch(0);
        sizePolicy6.setHeightForWidth(m_progressWidget->sizePolicy().hasHeightForWidth());
        m_progressWidget->setSizePolicy(sizePolicy6);
        m_progressWidget->setMinimumSize(QSize(125, 15));
        m_progressWidget->setMaximumSize(QSize(150, 15));
        m_progressWidget->setMinimum(0);
        m_progressWidget->setMaximum(10);
        m_progressWidget->setValue(5);
        m_progressWidget->setTextVisible(false);
        m_progressWidget->setOrientation(Qt::Horizontal);
        FlatProjectEditorUI->setCentralWidget(centralWidget);
#ifndef QT_NO_SHORTCUT
        label->setBuddy(m_showOutputForWidg);
#endif // QT_NO_SHORTCUT

        retranslateUi(FlatProjectEditorUI);

        m_projDetailsTabWidg->setCurrentIndex(4);


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

    void retranslateUi(QMainWindow *FlatProjectEditorUI)
    {
        FlatProjectEditorUI->setWindowTitle(QApplication::translate("FlatProjectEditorUI", "Project Editor - <project name>", 0, QApplication::UnicodeUTF8));
        m_projNameDisplay->setText(QApplication::translate("FlatProjectEditorUI", "<html><head><meta name=\"qrichtext\" content=\"1\" /></head><body style=\" white-space: pre-wrap; font-family:MS Shell Dlg; font-weight:400; font-style:normal; text-decoration:none;\"><p style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">Factory Model</p></body></html>", 0, QApplication::UnicodeUTF8));
        m_smryCtrlVerifiedLabel->setText(QApplication::translate("FlatProjectEditorUI", "<html><head><meta name=\"qrichtext\" content=\"1\" /></head><body style=\" white-space: pre-wrap; font-family:MS Shell Dlg; font-weight:400; font-style:normal; text-decoration:none;\"><p style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">Controllability property was verified on:</p></body></html>", 0, QApplication::UnicodeUTF8));
        m_smryCtrlDateStampWidg->setDisplayFormat(QApplication::translate("FlatProjectEditorUI", "MMM dd, yyyy hh:mm:ss AP", 0, QApplication::UnicodeUTF8));
        m_statusLine->setTitle(QApplication::translate("FlatProjectEditorUI", "Project Status", 0, QApplication::UnicodeUTF8));
        m_ctrlNotChkLabel->setText(QApplication::translate("FlatProjectEditorUI", "<html><head><meta name=\"qrichtext\" content=\"1\" /></head><body style=\" white-space: pre-wrap; font-family:MS Shell Dlg; font-weight:400; font-style:normal; text-decoration:none;\"><p style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">Controllability property has not been checked yet.</p></body></html>", 0, QApplication::UnicodeUTF8));
        m_smryCtrlYesWidg->setText(QApplication::translate("FlatProjectEditorUI", "Yes", 0, QApplication::UnicodeUTF8));
        m_projStatusNotChckLabel->setText(QApplication::translate("FlatProjectEditorUI", "<html><head><meta name=\"qrichtext\" content=\"1\" /></head><body style=\" white-space: pre-wrap; font-family:MS Shell Dlg; font-weight:400; font-style:normal; text-decoration:none;\"><p style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">Project status has not been verified yet.</p></body></html>", 0, QApplication::UnicodeUTF8));
        m_smryNonBlockVerifiedLabel->setText(QApplication::translate("FlatProjectEditorUI", "<html><head><meta name=\"qrichtext\" content=\"1\" /></head><body style=\" white-space: pre-wrap; font-family:MS Shell Dlg; font-weight:400; font-style:normal; text-decoration:none;\"><p style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">Nonblocking property was verified on:</p></body></html>", 0, QApplication::UnicodeUTF8));
        m_projStatusVerifiedLabel->setText(QApplication::translate("FlatProjectEditorUI", "<html><head><meta name=\"qrichtext\" content=\"1\" /></head><body style=\" white-space: pre-wrap; font-family:MS Shell Dlg; font-weight:400; font-style:normal; text-decoration:none;\"><p style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">Project consistency was verified on:</p></body></html>", 0, QApplication::UnicodeUTF8));
        m_nonBlockNotChkLabel->setText(QApplication::translate("FlatProjectEditorUI", "<html><head><meta name=\"qrichtext\" content=\"1\" /></head><body style=\" white-space: pre-wrap; font-family:MS Shell Dlg; font-weight:400; font-style:normal; text-decoration:none;\"><p style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">Non-blocking property has not been checked yet.</p></body></html>", 0, QApplication::UnicodeUTF8));
        m_smryNonBlockYesWidg->setText(QApplication::translate("FlatProjectEditorUI", "Yes", 0, QApplication::UnicodeUTF8));
        m_projTypeLabel->setText(QApplication::translate("FlatProjectEditorUI", "<html><head><meta name=\"qrichtext\" content=\"1\" /></head><body style=\" white-space: pre-wrap; font-family:MS Shell Dlg; font-weight:400; font-style:normal; text-decoration:none;\"><p style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">Type: </p></body></html>", 0, QApplication::UnicodeUTF8));
        m_projStatusValidWidg->setText(QApplication::translate("FlatProjectEditorUI", "Valid", 0, QApplication::UnicodeUTF8));
        m_smryNonBlockNoWidg->setText(QApplication::translate("FlatProjectEditorUI", "No", 0, QApplication::UnicodeUTF8));
        m_projStatusInvalidWidg->setText(QApplication::translate("FlatProjectEditorUI", "Invalid", 0, QApplication::UnicodeUTF8));
        m_smryNonBlockLine->setTitle(QApplication::translate("FlatProjectEditorUI", "Nonblocking ", 0, QApplication::UnicodeUTF8));
        m_projLocationLabel->setText(QApplication::translate("FlatProjectEditorUI", "<html><head><meta name=\"qrichtext\" content=\"1\" /></head><body style=\" white-space: pre-wrap; font-family:MS Shell Dlg; font-weight:400; font-style:normal; text-decoration:none;\"><p style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">Location: </p></body></html>", 0, QApplication::UnicodeUTF8));
        m_projNameLabel->setText(QApplication::translate("FlatProjectEditorUI", "<html><head><meta name=\"qrichtext\" content=\"1\" /></head><body style=\" white-space: pre-wrap; font-family:MS Shell Dlg; font-weight:400; font-style:normal; text-decoration:none;\"><p style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">Name: </p></body></html>", 0, QApplication::UnicodeUTF8));
        m_smryCtrlNoWidg->setText(QApplication::translate("FlatProjectEditorUI", "No", 0, QApplication::UnicodeUTF8));
        m_smryCtrlLine->setTitle(QApplication::translate("FlatProjectEditorUI", "Controllable ", 0, QApplication::UnicodeUTF8));
        m_projPropLine->setTitle(QApplication::translate("FlatProjectEditorUI", "Project Properties ", 0, QApplication::UnicodeUTF8));
        m_projStatusDateStampWidg->setDisplayFormat(QApplication::translate("FlatProjectEditorUI", "MMM dd, yyyy hh:mm:ss AP", 0, QApplication::UnicodeUTF8));
        m_smryNonBlockDateStampWidg->setDisplayFormat(QApplication::translate("FlatProjectEditorUI", "MMM dd, yyyy hh:mm:ss AP", 0, QApplication::UnicodeUTF8));
        m_projTypeDisplay->setText(QApplication::translate("FlatProjectEditorUI", "<html><head><meta name=\"qrichtext\" content=\"1\" /></head><body style=\" white-space: pre-wrap; font-family:MS Shell Dlg; font-weight:400; font-style:normal; text-decoration:none;\"><p style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">Flat Project</p></body></html>", 0, QApplication::UnicodeUTF8));
        m_projLocationDisplay->setText(QApplication::translate("FlatProjectEditorUI", "<html><head><meta name=\"qrichtext\" content=\"1\" /></head><body style=\" white-space: pre-wrap; font-family:MS Shell Dlg; font-weight:400; font-style:normal; text-decoration:none;\"><p style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">C:\\DESpot\\Projects\\FactoryModel.desp</p></body></html>", 0, QApplication::UnicodeUTF8));
        m_projStatusSpacer1->setText(QString());
        m_projStatusSpacer2->setText(QString());
        m_projStatusSpacer3->setText(QString());
        m_projStatusSpacer4->setText(QString());
        m_nonblockSpacer1->setText(QString());
        m_nonblockSpacer2->setText(QString());
        m_nonblockSpacer3->setText(QString());
        m_nonblockSpacer4->setText(QString());
        m_ctrlSpacer1->setText(QString());
        m_ctrlSpacer2->setText(QString());
        m_ctrlSpacer3->setText(QString());
        m_ctrlSpacer4->setText(QString());
        m_projDetailsTabWidg->setTabText(m_projDetailsTabWidg->indexOf(summaryTab), QApplication::translate("FlatProjectEditorUI", "Summary", 0, QApplication::UnicodeUTF8));
        m_nonBlockVerifiedLabel->setText(QApplication::translate("FlatProjectEditorUI", "<html><head><meta name=\"qrichtext\" content=\"1\" /></head><body style=\" white-space: pre-wrap; font-family:MS Shell Dlg; font-weight:400; font-style:normal; text-decoration:none;\"><p style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">Nonblocking property was verified on:</p></body></html>", 0, QApplication::UnicodeUTF8));
        m_nonBlockFlatSysStatesWidg->setText(QApplication::translate("FlatProjectEditorUI", "111,222,333,444,555", 0, QApplication::UnicodeUTF8));
        m_nonBlockStatsLine->setTitle(QApplication::translate("FlatProjectEditorUI", "Statistics ", 0, QApplication::UnicodeUTF8));
        m_nonBlockNotChkWidg->setText(QApplication::translate("FlatProjectEditorUI", "Not checked", 0, QApplication::UnicodeUTF8));
        m_nonBlockTimingLabel->setText(QApplication::translate("FlatProjectEditorUI", "<html><head><meta name=\"qrichtext\" content=\"1\" /></head><body style=\" white-space: pre-wrap; font-family:MS Shell Dlg; font-weight:400; font-style:normal; text-decoration:none;\"><p style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">Algorithm Timing:</p></body></html>", 0, QApplication::UnicodeUTF8));
        m_nonBlockFlatSysEventsLabel->setText(QApplication::translate("FlatProjectEditorUI", "<html><head><meta name=\"qrichtext\" content=\"1\" /></head><body style=\" white-space: pre-wrap; font-family:MS Shell Dlg; font-weight:400; font-style:normal; text-decoration:none;\"><p style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">events</p></body></html>", 0, QApplication::UnicodeUTF8));
        m_nonBlockOutputLine->setTitle(QApplication::translate("FlatProjectEditorUI", "Output ", 0, QApplication::UnicodeUTF8));
        m_nonBlockFlatSysStatesLabel->setText(QApplication::translate("FlatProjectEditorUI", "<html><head><meta name=\"qrichtext\" content=\"1\" /></head><body style=\" white-space: pre-wrap; font-family:MS Shell Dlg; font-weight:400; font-style:normal; text-decoration:none;\"><p style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">states</p></body></html>", 0, QApplication::UnicodeUTF8));
        m_nonBlockFlatSizeLabel->setText(QApplication::translate("FlatProjectEditorUI", "<html><head><meta name=\"qrichtext\" content=\"1\" /></head><body style=\" white-space: pre-wrap; font-family:MS Shell Dlg; font-weight:400; font-style:normal; text-decoration:none;\"><p style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">Flat System Size:</p></body></html>", 0, QApplication::UnicodeUTF8));
        m_nonBlockFlatSysEventsWidg->setText(QApplication::translate("FlatProjectEditorUI", "111,222,333,444,555", 0, QApplication::UnicodeUTF8));
        m_nonBlockYesWidg->setText(QApplication::translate("FlatProjectEditorUI", "Yes", 0, QApplication::UnicodeUTF8));
        m_nonBlockFlatSysTransLabel->setText(QApplication::translate("FlatProjectEditorUI", "<html><head><meta name=\"qrichtext\" content=\"1\" /></head><body style=\" white-space: pre-wrap; font-family:MS Shell Dlg; font-weight:400; font-style:normal; text-decoration:none;\"><p style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">transitions</p></body></html>", 0, QApplication::UnicodeUTF8));
        m_nonBlockTimingWidg->setText(QApplication::translate("FlatProjectEditorUI", "123 h : 12 min : 13 sec", 0, QApplication::UnicodeUTF8));
        m_nonBlockFlatSysTransWidg->setText(QApplication::translate("FlatProjectEditorUI", "111,222,333,444,555", 0, QApplication::UnicodeUTF8));
        m_nonBlockLine->setTitle(QApplication::translate("FlatProjectEditorUI", "Nonblocking Status:", 0, QApplication::UnicodeUTF8));
        m_nonBlockDateStampWidg->setDisplayFormat(QApplication::translate("FlatProjectEditorUI", "MMM dd, yyyy hh:mm:ss AP", 0, QApplication::UnicodeUTF8));
        m_nonBlockNoWidg->setText(QApplication::translate("FlatProjectEditorUI", "No", 0, QApplication::UnicodeUTF8));
        m_projDetailsTabWidg->setTabText(m_projDetailsTabWidg->indexOf(nonBlockTab), QApplication::translate("FlatProjectEditorUI", "Nonblocking", 0, QApplication::UnicodeUTF8));
        m_ctrlVerifiedLabel->setText(QApplication::translate("FlatProjectEditorUI", "<html><head><meta name=\"qrichtext\" content=\"1\" /></head><body style=\" white-space: pre-wrap; font-family:MS Shell Dlg; font-weight:400; font-style:normal; text-decoration:none;\"><p style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">Controllability property was verified on:</p></body></html>", 0, QApplication::UnicodeUTF8));
        m_ctrlFlatSysStatesWidg->setText(QApplication::translate("FlatProjectEditorUI", "111,222,333,444,555", 0, QApplication::UnicodeUTF8));
        m_ctrlStatsLine->setTitle(QApplication::translate("FlatProjectEditorUI", "Statistics ", 0, QApplication::UnicodeUTF8));
        m_ctrlNotChkWidg->setText(QApplication::translate("FlatProjectEditorUI", "Not checked", 0, QApplication::UnicodeUTF8));
        m_ctrlTimingLabel->setText(QApplication::translate("FlatProjectEditorUI", "<html><head><meta name=\"qrichtext\" content=\"1\" /></head><body style=\" white-space: pre-wrap; font-family:MS Shell Dlg; font-weight:400; font-style:normal; text-decoration:none;\"><p style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">Algorithm Timing:</p></body></html>", 0, QApplication::UnicodeUTF8));
        m_ctrlFlatSysEventsLabel->setText(QApplication::translate("FlatProjectEditorUI", "<html><head><meta name=\"qrichtext\" content=\"1\" /></head><body style=\" white-space: pre-wrap; font-family:MS Shell Dlg; font-weight:400; font-style:normal; text-decoration:none;\"><p style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">events</p></body></html>", 0, QApplication::UnicodeUTF8));
        m_ctrlOutputLine->setTitle(QApplication::translate("FlatProjectEditorUI", "Output ", 0, QApplication::UnicodeUTF8));
        m_ctrlFlatSysStatesLabel->setText(QApplication::translate("FlatProjectEditorUI", "<html><head><meta name=\"qrichtext\" content=\"1\" /></head><body style=\" white-space: pre-wrap; font-family:MS Shell Dlg; font-weight:400; font-style:normal; text-decoration:none;\"><p style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">states</p></body></html>", 0, QApplication::UnicodeUTF8));
        m_ctrlFlatSysLabel->setText(QApplication::translate("FlatProjectEditorUI", "<html><head><meta name=\"qrichtext\" content=\"1\" /></head><body style=\" white-space: pre-wrap; font-family:MS Shell Dlg; font-weight:400; font-style:normal; text-decoration:none;\"><p style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">Flat System Size:</p></body></html>", 0, QApplication::UnicodeUTF8));
        m_ctrlFlatSysEventsWidg->setText(QApplication::translate("FlatProjectEditorUI", "111,222,333,444,555", 0, QApplication::UnicodeUTF8));
        m_ctrlYesWidg->setText(QApplication::translate("FlatProjectEditorUI", "Yes", 0, QApplication::UnicodeUTF8));
        m_ctrlFlatSysEventsTrans->setText(QApplication::translate("FlatProjectEditorUI", "<html><head><meta name=\"qrichtext\" content=\"1\" /></head><body style=\" white-space: pre-wrap; font-family:MS Shell Dlg; font-weight:400; font-style:normal; text-decoration:none;\"><p style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">transitions</p></body></html>", 0, QApplication::UnicodeUTF8));
        m_ctrlTimingWidg->setText(QApplication::translate("FlatProjectEditorUI", "123 h : 12 min : 13 sec", 0, QApplication::UnicodeUTF8));
        m_ctrlFlatSysTransWidg->setText(QApplication::translate("FlatProjectEditorUI", "111,222,333,444,555", 0, QApplication::UnicodeUTF8));
        m_ctrlLine->setTitle(QApplication::translate("FlatProjectEditorUI", "Controllability Status", 0, QApplication::UnicodeUTF8));
        m_ctrlDateStampWidg->setDisplayFormat(QApplication::translate("FlatProjectEditorUI", "MMM dd, yyyy hh:mm:ss AP", 0, QApplication::UnicodeUTF8));
        m_ctrlNoWidg->setText(QApplication::translate("FlatProjectEditorUI", "No", 0, QApplication::UnicodeUTF8));
        m_projDetailsTabWidg->setTabText(m_projDetailsTabWidg->indexOf(ctrlTab), QApplication::translate("FlatProjectEditorUI", "Controllability", 0, QApplication::UnicodeUTF8));
        m_initStateDisplay->setText(QApplication::translate("FlatProjectEditorUI", "<html><head><meta name=\"qrichtext\" content=\"1\" /></head><body style=\" white-space: pre-wrap; font-family:MS Shell Dlg; font-weight:400; font-style:normal; text-decoration:none;\"><p style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">&lt;name of initial state&gt;</p></body></html>", 0, QApplication::UnicodeUTF8));
        m_eventListLabel->setText(QApplication::translate("FlatProjectEditorUI", "<html><head><meta name=\"qrichtext\" content=\"1\" /></head><body style=\" white-space: pre-wrap; font-family:MS Shell Dlg; font-weight:400; font-style:normal; text-decoration:none;\"><p style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">Event List:</p></body></html>", 0, QApplication::UnicodeUTF8));
        m_locationLabel->setText(QApplication::translate("FlatProjectEditorUI", "<html><head><meta name=\"qrichtext\" content=\"1\" /></head><body style=\" white-space: pre-wrap; font-family:MS Shell Dlg; font-weight:400; font-style:normal; text-decoration:none;\"><p style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">Location:</p></body></html>", 0, QApplication::UnicodeUTF8));
        m_desTypeLabel->setText(QApplication::translate("FlatProjectEditorUI", "<html><head><meta name=\"qrichtext\" content=\"1\" /></head><body style=\" white-space: pre-wrap; font-family:MS Shell Dlg; font-weight:400; font-style:normal; text-decoration:none;\"><p style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">Type:</p></body></html>", 0, QApplication::UnicodeUTF8));
        m_desTypeDisplay->setText(QString());
        m_eventType0CountDisplay->setText(QApplication::translate("FlatProjectEditorUI", "<html><head><meta name=\"qrichtext\" content=\"1\" /><style type=\"text/css\">\n"
"p, li { white-space: pre-wrap; }\n"
"</style></head><body style=\" font-family:'MS Shell Dlg 2'; font-size:8.25pt; font-weight:400; font-style:normal; text-decoration:none;\">\n"
"<p style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; font-family:'MS Shell Dlg';\">&lt;p2&gt; low</p></body></html>", 0, QApplication::UnicodeUTF8));
        m_transCountLabel->setText(QApplication::translate("FlatProjectEditorUI", "<html><head><meta name=\"qrichtext\" content=\"1\" /></head><body style=\" white-space: pre-wrap; font-family:MS Shell Dlg; font-weight:400; font-style:normal; text-decoration:none;\"><p style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">Number of Transitions:</p></body></html>", 0, QApplication::UnicodeUTF8));
        m_eventType1CountDisplay->setText(QApplication::translate("FlatProjectEditorUI", "<html><head><meta name=\"qrichtext\" content=\"1\" /></head><body style=\" white-space: pre-wrap; font-family:MS Shell Dlg; font-weight:400; font-style:normal; text-decoration:none;\"><p style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">10 high</p></body></html>", 0, QApplication::UnicodeUTF8));
        m_stateCountLabel->setText(QApplication::translate("FlatProjectEditorUI", "<html><head><meta name=\"qrichtext\" content=\"1\" /></head><body style=\" white-space: pre-wrap; font-family:MS Shell Dlg; font-weight:400; font-style:normal; text-decoration:none;\"><p style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">Number of States:</p></body></html>", 0, QApplication::UnicodeUTF8));
        m_eventCountLabel->setText(QApplication::translate("FlatProjectEditorUI", "<html><head><meta name=\"qrichtext\" content=\"1\" /></head><body style=\" white-space: pre-wrap; font-family:MS Shell Dlg; font-weight:400; font-style:normal; text-decoration:none;\"><p style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">Number of Events:</p></body></html>", 0, QApplication::UnicodeUTF8));
        m_desStatusLabel->setText(QApplication::translate("FlatProjectEditorUI", "<html><head><meta name=\"qrichtext\" content=\"1\" /></head><body style=\" white-space: pre-wrap; font-family:MS Shell Dlg; font-weight:400; font-style:normal; text-decoration:none;\"><p style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">Status:</p></body></html>", 0, QApplication::UnicodeUTF8));
        m_initStateLabel->setText(QApplication::translate("FlatProjectEditorUI", "<html><head><meta name=\"qrichtext\" content=\"1\" /></head><body style=\" white-space: pre-wrap; font-family:MS Shell Dlg; font-weight:400; font-style:normal; text-decoration:none;\"><p style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">Initial State:</p></body></html>", 0, QApplication::UnicodeUTF8));
        m_transListLabel->setText(QApplication::translate("FlatProjectEditorUI", "<html><head><meta name=\"qrichtext\" content=\"1\" /></head><body style=\" white-space: pre-wrap; font-family:MS Shell Dlg; font-weight:400; font-style:normal; text-decoration:none;\"><p style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">Transition List:</p></body></html>", 0, QApplication::UnicodeUTF8));
        m_desStatusDisplay->setText(QString());
        m_desLocDisplay->setText(QString());
        m_stateCountDisplay->setText(QApplication::translate("FlatProjectEditorUI", "<html><head><meta name=\"qrichtext\" content=\"1\" /></head><body style=\" white-space: pre-wrap; font-family:MS Shell Dlg; font-weight:400; font-style:normal; text-decoration:none;\"><p style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">&lt;n&gt; states</p></body></html>", 0, QApplication::UnicodeUTF8));
        m_eventCountDisplay->setText(QApplication::translate("FlatProjectEditorUI", "<html><head><meta name=\"qrichtext\" content=\"1\" /></head><body style=\" white-space: pre-wrap; font-family:MS Shell Dlg; font-weight:400; font-style:normal; text-decoration:none;\"><p style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">&lt;p&gt;events</p></body></html>", 0, QApplication::UnicodeUTF8));
        m_markedStateCountDisplay->setText(QApplication::translate("FlatProjectEditorUI", "<html><head><meta name=\"qrichtext\" content=\"1\" /></head><body style=\" white-space: pre-wrap; font-family:MS Shell Dlg; font-weight:400; font-style:normal; text-decoration:none;\"><p style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">&lt;m&gt; marked states</p></body></html>", 0, QApplication::UnicodeUTF8));
        m_desNameLabel->setText(QApplication::translate("FlatProjectEditorUI", "<html><head><meta name=\"qrichtext\" content=\"1\" /></head><body style=\" white-space: pre-wrap; font-family:MS Shell Dlg; font-weight:400; font-style:normal; text-decoration:none;\"><p style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">Name</p></body></html>", 0, QApplication::UnicodeUTF8));
        m_desNameDisplay->setText(QString());
        m_transCountDisplay->setText(QApplication::translate("FlatProjectEditorUI", "<html><head><meta name=\"qrichtext\" content=\"1\" /></head><body style=\" white-space: pre-wrap; font-family:MS Shell Dlg; font-weight:400; font-style:normal; text-decoration:none;\"><p style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">&lt;q&gt; transitions</p></body></html>", 0, QApplication::UnicodeUTF8));
        m_stateListLabel->setText(QApplication::translate("FlatProjectEditorUI", "<html><head><meta name=\"qrichtext\" content=\"1\" /></head><body style=\" white-space: pre-wrap; font-family:MS Shell Dlg; font-weight:400; font-style:normal; text-decoration:none;\"><p style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">State List:</p></body></html>", 0, QApplication::UnicodeUTF8));
        m_eventType2CountDisplay->setText(QApplication::translate("FlatProjectEditorUI", "<html><head><meta name=\"qrichtext\" content=\"1\" /></head><body style=\" white-space: pre-wrap; font-family:MS Shell Dlg; font-weight:400; font-style:normal; text-decoration:none;\"><p style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">20 request</p></body></html>", 0, QApplication::UnicodeUTF8));
        m_ctrlEventCountDisplay->setText(QApplication::translate("FlatProjectEditorUI", "<html><head><meta name=\"qrichtext\" content=\"1\" /></head><body style=\" white-space: pre-wrap; font-family:MS Shell Dlg; font-weight:400; font-style:normal; text-decoration:none;\"><p style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">&lt;p1&gt; controllable</p></body></html>", 0, QApplication::UnicodeUTF8));
        m_desPropertiesLine->setTitle(QApplication::translate("FlatProjectEditorUI", "Des Properties", 0, QApplication::UnicodeUTF8));
        m_statesLine->setTitle(QApplication::translate("FlatProjectEditorUI", "States ", 0, QApplication::UnicodeUTF8));
        m_eventsLine->setTitle(QApplication::translate("FlatProjectEditorUI", "Events ", 0, QApplication::UnicodeUTF8));
        m_transLine->setTitle(QApplication::translate("FlatProjectEditorUI", "Transitions ", 0, QApplication::UnicodeUTF8));
        m_eventType3CountDisplay->setText(QApplication::translate("FlatProjectEditorUI", "<html><head><meta name=\"qrichtext\" content=\"1\" /></head><body style=\" white-space: pre-wrap; font-family:MS Shell Dlg; font-weight:400; font-style:normal; text-decoration:none;\"><p style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">20 answer</p></body></html>", 0, QApplication::UnicodeUTF8));
        m_selfTransCountDisplay->setText(QApplication::translate("FlatProjectEditorUI", "<html><head><meta name=\"qrichtext\" content=\"1\" /></head><body style=\" white-space: pre-wrap; font-family:MS Shell Dlg; font-weight:400; font-style:normal; text-decoration:none;\"><p style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">&lt;q&gt; self-loops</p></body></html>", 0, QApplication::UnicodeUTF8));
        m_projDetailsTabWidg->setTabText(m_projDetailsTabWidg->indexOf(desViewTab), QApplication::translate("FlatProjectEditorUI", "DES View", 0, QApplication::UnicodeUTF8));
#ifndef QT_NO_TOOLTIP
        m_clearBtn->setToolTip(QApplication::translate("FlatProjectEditorUI", "Clear", 0, QApplication::UnicodeUTF8));
#endif // QT_NO_TOOLTIP
#ifndef QT_NO_STATUSTIP
        m_clearBtn->setStatusTip(QApplication::translate("FlatProjectEditorUI", "Clears the output", 0, QApplication::UnicodeUTF8));
#endif // QT_NO_STATUSTIP
        m_clearBtn->setText(QApplication::translate("FlatProjectEditorUI", "...", 0, QApplication::UnicodeUTF8));
#ifndef QT_NO_TOOLTIP
        m_copyBtn->setToolTip(QApplication::translate("FlatProjectEditorUI", "Copy", 0, QApplication::UnicodeUTF8));
#endif // QT_NO_TOOLTIP
#ifndef QT_NO_STATUSTIP
        m_copyBtn->setStatusTip(QApplication::translate("FlatProjectEditorUI", "Copy output to clipboard", 0, QApplication::UnicodeUTF8));
#endif // QT_NO_STATUSTIP
        m_copyBtn->setText(QApplication::translate("FlatProjectEditorUI", "...", 0, QApplication::UnicodeUTF8));
#ifndef QT_NO_TOOLTIP
        m_wrapBtn->setToolTip(QApplication::translate("FlatProjectEditorUI", "Wrap", 0, QApplication::UnicodeUTF8));
#endif // QT_NO_TOOLTIP
#ifndef QT_NO_STATUSTIP
        m_wrapBtn->setStatusTip(QApplication::translate("FlatProjectEditorUI", "Wraps the output text", 0, QApplication::UnicodeUTF8));
#endif // QT_NO_STATUSTIP
        m_wrapBtn->setText(QApplication::translate("FlatProjectEditorUI", "...", 0, QApplication::UnicodeUTF8));
        label->setText(QApplication::translate("FlatProjectEditorUI", "<html><head><meta name=\"qrichtext\" content=\"1\" /></head><body style=\" white-space: pre-wrap; font-family:MS Shell Dlg; font-weight:400; font-style:normal; text-decoration:none;\"><p style=\" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;\">Show output from: </p></body></html>", 0, QApplication::UnicodeUTF8));
        m_outputWidg->setHtml(QApplication::translate("FlatProjectEditorUI", "<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 4.0//EN\" \"http://www.w3.org/TR/REC-html40/strict.dtd\">\n"
"<html><head><meta name=\"qrichtext\" content=\"1\" /><style type=\"text/css\">\n"
"p, li { white-space: pre-wrap; }\n"
"</style></head><body style=\" font-family:'MS Shell Dlg 2'; font-size:8.25pt; font-weight:400; font-style:normal;\">\n"
"<p style=\"-qt-paragraph-type:empty; margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; font-family:'MS Shell Dlg'; font-size:8pt;\"></p></body></html>", 0, QApplication::UnicodeUTF8));
        m_projDetailsTabWidg->setTabText(m_projDetailsTabWidg->indexOf(outputTab), QApplication::translate("FlatProjectEditorUI", "Output", 0, QApplication::UnicodeUTF8));
        Q_UNUSED(FlatProjectEditorUI);
    } // retranslateUi

};

namespace Ui {
    class FlatProjectEditorUI: public Ui_FlatProjectEditorUI {};
} // namespace Ui

QT_END_NAMESPACE

#endif // UI_FLATPROJECTEDITOR_H
