void kpok::adjustBet() { emit clearStatusBar(); betChange(currentMustBet - findHumanPlayer()->getCurrentBet()); paintCash(); }
void MainWindow::exportBitmap() { QString filter = "Images ("; QList<QByteArray> formats = QImageWriter::supportedImageFormats(); for(QList<QByteArray>::iterator i = formats.begin(); i != formats.end(); i++) { if(i != formats.begin()) { filter += " "; } filter += "*." + *i; } filter += ")"; QString filename = m_fileDialog.getSaveFileName("Save picture", filter); if (filename.isNull()) { return; } SavePictureDialog dialog(this, m_ltsCanvas, filename); connect(&dialog, SIGNAL(statusMessage(QString)), this, SLOT(setStatusBar(QString))); dialog.exec(); clearStatusBar(); }
MainWindow::MainWindow( QWidget * parent ) : QMainWindow( parent ) { /* Setup counter */ mCounterLabel = new QLabel("", statusBar()); mCounterLabel->setAlignment( Qt::AlignCenter ); mCounterLabel->setMinimumWidth(350); mCounterLabel->setMaximumHeight(20); statusBar()->addPermanentWidget( mCounterLabel, 0 ); /* Set up MainWindow stuff */ setWindowTitle("Snafu - Version " + VERSION + ", build " + SVN_REVSTR); mSW = new SnafuWidget( this ); mSW->show(); setCentralWidget( mSW ); connect(mSW, SIGNAL(showStatusBarMessage(const QString &)), statusBar(), SLOT(showMessage( const QString & ))); connect(mSW, SIGNAL(clearStatusBar()), statusBar(), SLOT(clearMessage())); HostToolBar = new QToolBar( this ); HostToolBar->setIconSize(QSize(24,24)); addToolBar(HostToolBar); HostToolBar->addAction( mSW->findHostAct ); HostToolBar->addAction( mSW->refreshAct ); IniConfig & config = ::userConfig(); config.pushSection("SW_Display_Prefs" ); }
bool StatusTip::qt_emit( int _id, QUObject* _o ) { switch ( _id - staticMetaObject()->signalOffset() ) { case 0: clearStatusBar(); break; default: return QLabel::qt_emit(_id,_o); } return TRUE; }
bool ViewManager::qt_invoke( int _id, QUObject* _o ) { switch ( _id - staticMetaObject()->slotOffset() ) { case 0: clearErrorMarker(); break; case 1: cursorPositionChanged((int)static_QUType_int.get(_o+1),(int)static_QUType_int.get(_o+2)); break; case 2: showMessage((const QString&)static_QUType_QString.get(_o+1)); break; case 3: clearStatusBar(); break; default: return QWidget::qt_invoke( _id, _o ); } return TRUE; }
void kpok::out() { // weWillAdjustLabel->hide(); emit clearStatusBar(); m_game.bet(oldBet_raise - findHumanPlayer()->getCurrentBet()); findHumanPlayer()->changeBet(oldBet_raise - findHumanPlayer()->getCurrentBet()); paintCash(); // Go to next state immediately. (Previously we told the user to // click the action button.) drawClick(); //drawButton->setText(i18n("&End Round")); }
void MainWindow::exportVector() { QString all = "All supported files (*.ps *.eps *.pdf *.svg)"; QString ps = "PostScript (*.ps)"; QString eps = "Encapsulated PostScript (*.eps)"; QString pdf = "Portable Document Format (*.pdf)"; QString svg = "Scalable Vector Graphics (*.svg)"; QString filter = all + ";;" + ps + ";;" + eps + ";;" + pdf + ";;" + svg; QString selectedFilter = all; QString filename = m_fileDialog.getSaveFileName("Save vector", filter, &selectedFilter); if (filename.isNull()) { return; } GLint format; if (selectedFilter == ps || (selectedFilter == all && filename.right(3).toLower() == ".ps")) { format = GL2PS_PS; } else if (selectedFilter == eps || (selectedFilter == all && filename.right(4).toLower() == ".eps")) { format = GL2PS_EPS; } else if (selectedFilter == pdf || (selectedFilter == all && filename.right(4).toLower() == ".pdf")) { format = GL2PS_PDF; } else if (selectedFilter == svg || (selectedFilter == all && filename.right(4).toLower() == ".svg")) { format = GL2PS_SVG; } else { QMessageBox::critical(this, "Error writing file", "Saving picture failed: unsupported file format."); return; } SaveVectorDialog dialog(this, m_ltsCanvas, filename, format); connect(&dialog, SIGNAL(statusMessage(QString)), this, SLOT(setStatusBar(QString))); dialog.exec(); clearStatusBar(); }
DocumentWidget::DocumentWidget(QWidget *parent, PageView *sv, DocumentPageCache *cache, const char *name ) : QWidget( parent, name ), indexOfUnderlinedLink(-1) { moveTool = true; selectionNeedsUpdating = false; // Variables used in animation. animationCounter = 0; timerIdent = 0; documentCache = cache; scrollView = sv; pixmapRequested = false; scrollGuide = -1; setMouseTracking(true); setFocusPolicy(QWidget::ClickFocus); connect(&clearStatusBarTimer, SIGNAL(timeout()), this, SLOT(clearStatusBar())); setBackgroundMode(Qt::NoBackground); if (!busyIcon) { busyIcon = new QPixmap(KGlobal::iconLoader()->loadIcon("gear", KIcon::NoGroup, KIcon::SizeMedium)); URShadow = new QPixmap(); BRShadow = new QPixmap(); BLShadow = new QPixmap(); URShadow->resize(4,4); BRShadow->resize(4,4); BLShadow->resize(4,4); } }
void kpok::bet() { // The players will bet, now. Player 1 (the human one ;-)) has // already bet using the betBox ALL players (except player 1 who has // already had) will get a chance to raise the value if nobody // raises further that player will not get another chance, else he // will. bool raised = false; int oldMustBet = 0; if (m_game.getState() == StateBet2) oldMustBet = currentMustBet; if (m_game.getState() == StateBet1 || m_game.getState() == StateBet2) { // The betting has just begun. This can be either the first or // the second betting phase (state == StateBet1 or StateBet2). // FIXME: These state names must be changed! // Find out how much the other players must bet. currentMustBet = findHumanPlayer()->getCurrentBet(); // First bet as usual. for (int i = 0; i < m_game.getNumActivePlayers(); i++) { PokerPlayer *player = m_game.getActivePlayer(i); int playerBet = 0; if (player->getHuman()) continue; if (m_game.getState() == StateBet1) // first bet phase playerBet = player->bet(currentMustBet); else if (m_game.getState() == StateBet2) // 2nd bet phase playerBet = player->raise(currentMustBet); if (playerBet < currentMustBet) { removePlayerFromRound(player); // FIXME: This should be bet from the beginning! if (m_game.getState() == StateBet1) m_game.bet(m_game.getMinBet()); i--; } else { // The player is seeing or has raised. if (playerBet > currentMustBet) raised = true; currentMustBet = playerBet; m_game.bet(currentMustBet - oldMustBet); } } } else if (m_game.getState() == StateRaise1 || m_game.getState() == StateRaise2) { // The bet has been raised. paintCash(); for (int i = 0; i < m_game.getNumActivePlayers(); i++) { PokerPlayer *player = m_game.getActivePlayer(i); // human player if (player->getCurrentBet() < currentMustBet && player->getHuman()) { removePlayerFromRound(player); i--; } } } paintCash(); oldBet_raise = findHumanPlayer()->getCurrentBet(); // used by out() only if (m_game.getState() == StateBet1 || m_game.getState() == StateBet2) { if (raised) { if (m_game.getState() == StateBet1) m_game.setState(StateRaise1); else m_game.setState(StateRaise2); if (adjust) adjustBet(); else out(); // not necessary betBox->setEnabled(true); betBox->beginRaise(); if (adjust) emit statusBarMessage(i18n("Clicking on draw means you adjust your bet")); else emit statusBarMessage(i18n("Clicking on draw means you are out")); } else { if (m_game.getState() == StateBet1) m_game.setState(StateExchangeCards); else m_game.setState(StateSee); } } else if (m_game.getState() == StateRaise1 && !raised) { emit clearStatusBar(); // weWillAdjustLabel->hide(); betBox->stopRaise(); m_game.setState(StateExchangeCards); } else if (m_game.getState() == StateRaise2 && !raised) { emit clearStatusBar(); // weWillAdjustLabel->hide(); betBox->stopRaise(); m_game.setState(StateSee); } // Check if player 1 is out -> for players > 2 // TODO: maybe if (!m_activePlayers.contains(humanPlayer)) // {exchangeCards(); bet(); displayerWinner_computer();return;} // don't continue game if player 1 is alone // TODO: port to players > 2 // this is ONLY working for players <= 2 if (m_game.getNumInactivePlayers() >= 1 && m_game.getNumActivePlayers() == 1) displayWinner_Computer(m_game.getActivePlayer(0), true); }
MainWindow::MainWindow(QThread *atermThread): m_fileDialog("", this) { m_ui.setupUi(this); m_ltsManager = new LtsManager(this, &m_settings, atermThread); m_markManager = new MarkManager(this, m_ltsManager); m_infoDock = new InfoDock(this, m_ltsManager, m_markManager); m_markDock = new MarkDock(this, m_markManager); m_simDock = new SimDock(this, m_ltsManager); m_settingsDock = new SettingsDock(this, &m_settings); m_settingsDialog = new SettingsDialog(this, &m_settings); m_ltsCanvas = new LtsCanvas(this, &m_settings, m_ltsManager, m_markManager); setCentralWidget(m_ltsCanvas); m_progressDialog = new QProgressDialog("", QString(), 0, 6, this); m_progressDialog->setMinimumDuration(0); m_ui.informationDock->setWidget(m_infoDock); m_ui.simulationDock->setWidget(m_simDock); m_ui.markDock->setWidget(m_markDock); m_ui.settingsDock->setWidget(m_settingsDock); m_ui.viewMenu->insertAction(m_ui.preferences, m_ui.informationDock->toggleViewAction()); m_ui.viewMenu->insertAction(m_ui.preferences, m_ui.simulationDock->toggleViewAction()); m_ui.viewMenu->insertAction(m_ui.preferences, m_ui.markDock->toggleViewAction()); m_ui.viewMenu->insertAction(m_ui.preferences, m_ui.settingsDock->toggleViewAction()); m_ui.viewMenu->insertSeparator(m_ui.preferences); mcrl2::log::logger::register_output_policy(m_logRelay); connect(&m_logRelay, SIGNAL(logMessage(QString, QString, QDateTime, QString)), this, SLOT(logMessage(QString, QString, QDateTime, QString))); connect(m_ui.open, SIGNAL(triggered()), this, SLOT(open())); connect(m_ui.openTrace, SIGNAL(triggered()), this, SLOT(openTrace())); connect(m_ui.exportBitmap, SIGNAL(triggered()), this, SLOT(exportBitmap())); connect(m_ui.exportText, SIGNAL(triggered()), this, SLOT(exportText())); connect(m_ui.exportVector, SIGNAL(triggered()), this, SLOT(exportVector())); connect(m_ui.exit, SIGNAL(triggered()), QApplication::instance(), SLOT(quit())); connect(m_ui.resetViewpoint, SIGNAL(triggered()), m_ltsCanvas, SLOT(resetView())); connect(m_ui.zoomIntoAbove, SIGNAL(triggered()), m_ltsManager, SLOT(zoomInAbove())); connect(m_ui.zoomIntoBelow, SIGNAL(triggered()), m_ltsManager, SLOT(zoomInBelow())); connect(m_ui.zoomOut, SIGNAL(triggered()), m_ltsManager, SLOT(zoomOut())); connect(m_ui.displayStates, SIGNAL(triggered(bool)), &m_settings.displayStates, SLOT(setValue(bool))); connect(&m_settings.displayStates, SIGNAL(changed(bool)), m_ui.displayStates, SLOT(setChecked(bool))); connect(m_ui.displayTransitions, SIGNAL(triggered(bool)), &m_settings.displayTransitions, SLOT(setValue(bool))); connect(&m_settings.displayTransitions, SIGNAL(changed(bool)), m_ui.displayTransitions, SLOT(setChecked(bool))); connect(m_ui.displayBackpointers, SIGNAL(triggered(bool)), &m_settings.displayBackpointers, SLOT(setValue(bool))); connect(&m_settings.displayBackpointers, SIGNAL(changed(bool)), m_ui.displayBackpointers, SLOT(setChecked(bool))); connect(m_ui.displayWireframe, SIGNAL(triggered(bool)), &m_settings.displayWireframe, SLOT(setValue(bool))); connect(&m_settings.displayWireframe, SIGNAL(changed(bool)), m_ui.displayWireframe, SLOT(setChecked(bool))); connect(m_ui.preferences, SIGNAL(triggered()), m_settingsDialog, SLOT(show())); connect(m_ltsManager, SIGNAL(loadingLts()), this, SLOT(loadingLts())); connect(m_ltsManager, SIGNAL(rankingStates()), this, SLOT(rankingStates())); connect(m_ltsManager, SIGNAL(clusteringStates()), this, SLOT(clusteringStates())); connect(m_ltsManager, SIGNAL(computingClusterInfo()), this, SLOT(computingClusterInfo())); connect(m_ltsManager, SIGNAL(positioningClusters()), this, SLOT(positioningClusters())); connect(m_ltsManager, SIGNAL(positioningStates()), this, SLOT(positioningStates())); connect(m_ltsManager, SIGNAL(ltsStructured()), this, SLOT(hideProgressDialog())); connect(m_ltsManager, SIGNAL(errorLoadingLts()), this, SLOT(hideProgressDialog())); connect(m_ltsManager, SIGNAL(startStructuring()), this, SLOT(startStructuring())); connect(m_ltsManager, SIGNAL(stopStructuring()), this, SLOT(stopStructuring())); connect(m_ltsManager, SIGNAL(selectionChanged()), this, SLOT(selectionChanged())); connect(m_ltsManager, SIGNAL(ltsZoomed(LTS *)), this, SLOT(zoomChanged())); m_ui.zoomIntoAbove->setEnabled(false); m_ui.zoomIntoBelow->setEnabled(false); m_ui.zoomOut->setEnabled(false); connect(m_ltsCanvas, SIGNAL(renderingStarted()), this, SLOT(startRendering())); connect(m_ltsCanvas, SIGNAL(renderingFinished()), this, SLOT(clearStatusBar())); QSettings settings("mCRL2", "LTSView"); restoreGeometry(settings.value("geometry").toByteArray()); restoreState(settings.value("windowState").toByteArray()); }