void ConfigWidget::init()
{
this->setWindowTitle(QString("%1 - %2")
.arg(APP_NAME)
.arg(tr("Config")));
QString fullHotkey = _settings->value("general/fullhotkey", DEFAULT_HOTKEY_FULL).toString();
QString partHotkey = _settings->value("general/parthotkey", DEFAULT_HOTKEY_PART).toString();
QString codeHotkey = _settings->value("general/texthotkey", DEFAULT_HOTKEY_CODE).toString();
showTypes(fullHotkey, partHotkey, codeHotkey);
QString imagetype = _settings->value("general/imagetype", DEFAULT_IMAGE_TYPE).toString();
QString sourcestype = _settings->value("general/sourcetype", DEFAULT_SOURCES_TYPE).toString();
bool showsourcedialog = _settings->value("general/showsourcedialog", DEFAULT_SHOW_SOURCES_CONF_DIALOG).toBool();
int imgIndex = _ui.comboImageType->findData(imagetype);
if (imgIndex != -1) {
_ui.comboImageType->setCurrentIndex(imgIndex);
}
int srcIndex = _ui.comboSourcesType->findData(sourcestype);
if (srcIndex != -1) {
_ui.comboSourcesType->setCurrentIndex(srcIndex);
}
QString uuid = _settings->value("general/uuid").toString();
QString regText = tr("<a href=\"http://pastexen.com/register.php?uuid=%1\">Register & attach client</a>")
.arg(uuid);
_ui.regLabel->setText(regText);
qDebug() << regText;
_ui.checkBoxLangDialogShow->setChecked(showsourcedialog);
}
void ConfigWidget::init()
{
this->setWindowTitle(QString("%1 - %2")
.arg(APP_NAME)
.arg(tr("Config")));
QString fullHotkey = Application::settings().GetParameter("general/fullhotkey", DEFAULT_HOTKEY_FULL);
QString partHotkey = Application::settings().GetParameter("general/parthotkey", DEFAULT_HOTKEY_PART);
QString codeHotkey = Application::settings().GetParameter("general/texthotkey", DEFAULT_HOTKEY_CODE);
showTypes(fullHotkey, partHotkey, codeHotkey);
QString imagetype = Application::settings().GetParameter("general/imagetype", DEFAULT_IMAGE_TYPE);
QString sourcestype = Application::settings().GetParameter("general/sourcetype", DEFAULT_SOURCES_TYPE);
bool showsourcedialog = Application::settings().GetParameter("general/showsourcedialog", ToString(DEFAULT_SHOW_SOURCES_CONF_DIALOG));
int imgIndex = _ui.comboImageType->findData(imagetype);
if (imgIndex != -1) {
_ui.comboImageType->setCurrentIndex(imgIndex);
}
int srcIndex = _ui.comboSourcesType->findData(sourcestype);
if (srcIndex != -1) {
_ui.comboSourcesType->setCurrentIndex(srcIndex);
}
QString regText = tr("<a href=\"%1\">My account</a>"
" (you need to share file first)")
.arg(Application::GetAccountUrl());
_ui.regLabel->setText(regText);
_ui.checkBoxLangDialogShow->setChecked(showsourcedialog);
}
void MainWindow::createActions() {
mNewFileAction = new QAction(QIcon(":/images/new.png"), tr("&New"), this);
mNewFileAction->setShortcut(QKeySequence::New);
mNewFileAction->setStatusTip(tr("Open a new file"));
connect(mNewFileAction, SIGNAL(triggered()), this, SLOT(newBlankPage()));
mOpenFileAction = new QAction(QIcon(":/images/open.png"), tr("&Open"), this);
mOpenFileAction->setShortcut(QKeySequence::Open);
mOpenFileAction->setStatusTip(tr("Open file"));
connect(mOpenFileAction, SIGNAL(triggered()), this, SLOT(openPage()));
mSaveFileAction = new QAction(QIcon(":/images/save.png"), tr("&Save"), this);
mSaveFileAction->setShortcut(QKeySequence::Save);
mSaveFileAction->setStatusTip(tr("Save file"));
connect(mSaveFileAction, SIGNAL(triggered()), this, SLOT(saveTab()));
mSaveAsFileAction = new QAction(QIcon(":/images/saveAs.png"), tr("Save &As"), this);
mSaveAsFileAction->setShortcut(QKeySequence::SaveAs);
mSaveAsFileAction->setStatusTip(tr("Save file as"));
connect(mSaveAsFileAction, SIGNAL(triggered()), this, SLOT(savePageAs()));
mExitAction = new QAction(tr("&Exit"), this);
mExitAction->setShortcut(QKeySequence::Quit);
mExitAction->setStatusTip(tr("Exit the application"));
connect(mExitAction, SIGNAL(triggered()), this, SLOT(close()));
/* Project Actions */
mNewProjectAction = new QAction(tr("New Project"), this);
mNewFileAction->setStatusTip(tr("Creates a new Project"));
connect(mNewProjectAction, SIGNAL(triggered()), this, SLOT(newProject()));
mOpenProjectAction = new QAction(tr("Open Project"), this);
mOpenProjectAction->setStatusTip(tr("Open an existing project"));
mSaveProjectAction = new QAction(tr("Save Project"), this);
mSaveProjectAction->setStatusTip(tr("Save current project"));
mSaveProjectAsAction = new QAction(tr("Save Project As"), this);
mSaveProjectAsAction->setStatusTip(tr("Save current project as"));
mShowProjectViewAction = new QAction(tr("Show Project View"), this);
mShowProjectViewAction->setStatusTip(tr("Show Project Settings and Properties"));
connect(mShowProjectViewAction, SIGNAL(triggered()), this, SLOT(showProjectView()));
mShowTransistionDiagramAction = new QAction(tr("Show Transistion Diagram"), this);
mShowTransistionDiagramAction->setStatusTip(tr("Show the Projects Transistion Diagram"));
connect(mShowTransistionDiagramAction, SIGNAL(triggered()), this, SLOT(showTransistionDiagram()));
mGenerateHOLAction = new QAction(tr("Generate HOL"), this);
mGenerateHOLAction->setStatusTip(tr("Generate all the HOL files for the project"));
mGenerateHaskellAction = new QAction(tr("Generate Haskell"), this);
mGenerateHaskellAction->setStatusTip(tr("Generate all the Haskell files for the project"));
mGenerateDocAction = new QAction(tr("Generate Documentation"), this);
mGenerateDocAction->setStatusTip(tr("Generate Documentation for project"));
mCloseProjectAction = new QAction(tr("Close project"), this);
mCloseProjectAction->setStatusTip(tr("Closes the current project"));
/* Edit Actions */
mUndoAction = new QAction(tr("&Undo"), this);
mUndoAction->setShortcut(QKeySequence::Undo);
mUndoAction->setStatusTip(tr("Undo"));
connect(mUndoAction, SIGNAL(triggered()), this, SLOT(undo()));
mRedoAction = new QAction(tr("&Redo"), this);
mRedoAction->setShortcut(QKeySequence::Redo);
mRedoAction->setStatusTip(tr("Redo"));
connect(mRedoAction, SIGNAL(triggered()), this, SLOT(redo()));
mCutAction = new QAction(tr("&Cut"), this);
mCutAction->setShortcut(QKeySequence::Cut);
mCutAction->setStatusTip(tr("Cut"));
connect(mCutAction, SIGNAL(triggered()), this, SLOT(cut()));
mCopyAction = new QAction(tr("&Copy"), this);
mCopyAction->setShortcut(QKeySequence::Copy);
mCopyAction->setStatusTip(tr("Copy"));
connect(mCopyAction, SIGNAL(triggered()), this, SLOT(copy()));
mPasteAction = new QAction(tr("&Paste"), this);
mPasteAction->setShortcut(QKeySequence::Paste);
mPasteAction->setStatusTip(tr("Paste"));
connect(mPasteAction, SIGNAL(triggered()), this, SLOT(paste()));
mSelectAllAction = new QAction(tr("Select &All"), this);
mSelectAllAction->setShortcut(QKeySequence::SelectAll);
mSelectAllAction->setStatusTip(tr("Select All"));
connect(mSelectAllAction, SIGNAL(triggered()), this, SLOT(selectAll()));
mFindReplaceAction = new QAction(tr("&Find/Replace"), this);
mFindReplaceAction->setShortcut(QKeySequence::Find);
mFindReplaceAction->setStatusTip(tr("Find/Replace"));
connect(mSelectAllAction, SIGNAL(triggered()), this, SLOT(findReplace()));
/* HOL Menu Actions */
mHOLRestartAction = new QAction(tr("Restart HOL"), this);
mHOLRestartAction->setStatusTip(tr("Restart the HOL buffer"));
connect(mHOLRestartAction, SIGNAL(triggered()), mHOLWidget, SLOT(restart()));
mHOLSendRegionToAction = new QAction(tr("Send Region to HOL"), this);
mHOLSendRegionToAction->setStatusTip(tr("Sends the highlighted region to the HOL buffer"));
//connect
mHOLRunHolmakeAction = new QAction(tr("Run Holmake"), this);
mHOLRunHolmakeAction->setStatusTip(tr("Runs Holamake in current directory"));
connect(mHOLRunHolmakeAction, SIGNAL(triggered()), this, SLOT(runHolmake()));
mHOLShowTypesAction = new QAction(tr("Show Types"), this);
mHOLShowTypesAction->setStatusTip(tr("Show Types"));
connect(mHOLShowTypesAction, SIGNAL(triggered()), mHOLWidget, SLOT(showTypes()));
mHOLShowTypesVerboseAction = new QAction(tr("Show Types Verbosely"), this);
mHOLShowTypesVerboseAction->setStatusTip(tr("Show Types Verbosely"));
connect(mHOLShowTypesVerboseAction, SIGNAL(triggered()), mHOLWidget, SLOT(showTypesVerbose()));
mHOLShowNumericalTypesAction = new QAction(tr("Show Numerical Types"), this);
mHOLShowNumericalTypesAction->setStatusTip(tr("Show Numerical Types"));
connect(mHOLShowNumericalTypesAction, SIGNAL(triggered()), mHOLWidget, SLOT(showNumericalTypes()));
mHOLShowAssumptionsAction = new QAction(tr("Show Assumptions"), this);
mHOLShowAssumptionsAction->setStatusTip(tr("Show Assumptions"));
connect(mHOLShowAssumptionsAction, SIGNAL(triggered()), mHOLWidget, SLOT(showAssumptions()));
/* Help Menu Actions */
mHOLDocumentationAction = new QAction(tr("HOL Documentation"), this);
mHOLDocumentationAction->setStatusTip(tr("Show HOL Documentation"));
mAboutAction = new QAction(tr("About"), this);
mAboutAction->setStatusTip(tr("About"));
/* Transistion Diagram Actions */
mAddStateAction = new QAction(tr("Add State"), this);
mAddStateAction->setStatusTip("Add a new State to the Transistion Diagram");
mDeleteStateAction = new QAction(tr("Remove State"), this);
mDeleteStateAction->setStatusTip("Remove state from Transistion Diagram");
mMakeLinkAction = new QAction(tr("Connect States"), this);
mMakeLinkAction->setStatusTip("Connect two states");
mDeleteLinkAction = new QAction(tr("Remove Link"), this);
mDeleteLinkAction->setStatusTip("Remove the Link between two States");
mStatePropertiesAction = new QAction(tr("State Properties"), this);
mStatePropertiesAction->setStatusTip("Display the Properties of the State");
mZoomInAction = new QAction(tr("Zoom In"), this);
mZoomInAction->setStatusTip("Zoom In on the Diagrams");
mZoomOutAction = new QAction(tr("Zoom Out"), this);
mZoomOutAction->setStatusTip("Zoom Out on the Diagram");
}
