/usr/lib/python2.7/dist-packages/woo/qt/ui_controller.py is in python-woo 1.0+dfsg1-2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465 466 467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653 654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 683 684 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 | # -*- coding: utf-8 -*-
# Form implementation generated from reading ui file 'gui/qt4/controller.ui'
#
# Created by: PyQt4 UI code generator 4.12.1
#
# WARNING! All changes made in this file will be lost!
from PyQt4 import QtCore, QtGui
try:
_fromUtf8 = QtCore.QString.fromUtf8
except AttributeError:
def _fromUtf8(s):
return s
try:
_encoding = QtGui.QApplication.UnicodeUTF8
def _translate(context, text, disambig):
return QtGui.QApplication.translate(context, text, disambig, _encoding)
except AttributeError:
def _translate(context, text, disambig):
return QtGui.QApplication.translate(context, text, disambig)
class Ui_Controller(object):
def setupUi(self, Controller):
Controller.setObjectName(_fromUtf8("Controller"))
Controller.resize(413, 539)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Preferred, QtGui.QSizePolicy.MinimumExpanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(Controller.sizePolicy().hasHeightForWidth())
Controller.setSizePolicy(sizePolicy)
icon = QtGui.QIcon()
icon.addPixmap(QtGui.QPixmap(_fromUtf8(":/img/woo-logo.svg")), QtGui.QIcon.Normal, QtGui.QIcon.Off)
Controller.setWindowIcon(icon)
self.gridLayout_13 = QtGui.QGridLayout(Controller)
self.gridLayout_13.setMargin(0)
self.gridLayout_13.setSpacing(0)
self.gridLayout_13.setObjectName(_fromUtf8("gridLayout_13"))
self.controllerTabs = QtGui.QTabWidget(Controller)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.MinimumExpanding, QtGui.QSizePolicy.MinimumExpanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.controllerTabs.sizePolicy().hasHeightForWidth())
self.controllerTabs.setSizePolicy(sizePolicy)
self.controllerTabs.setObjectName(_fromUtf8("controllerTabs"))
self.tabGridLayout = QtGui.QWidget()
self.tabGridLayout.setObjectName(_fromUtf8("tabGridLayout"))
self.gridLayout_4 = QtGui.QGridLayout(self.tabGridLayout)
self.gridLayout_4.setMargin(0)
self.gridLayout_4.setSpacing(0)
self.gridLayout_4.setObjectName(_fromUtf8("gridLayout_4"))
self.frame = QtGui.QFrame(self.tabGridLayout)
self.frame.setFrameShape(QtGui.QFrame.StyledPanel)
self.frame.setFrameShadow(QtGui.QFrame.Raised)
self.frame.setObjectName(_fromUtf8("frame"))
self.gridLayout_12 = QtGui.QGridLayout(self.frame)
self.gridLayout_12.setMargin(0)
self.gridLayout_12.setSpacing(0)
self.gridLayout_12.setObjectName(_fromUtf8("gridLayout_12"))
self.simPageLayout = QtGui.QGridLayout()
self.simPageLayout.setSpacing(0)
self.simPageLayout.setObjectName(_fromUtf8("simPageLayout"))
self.horizontalLayout_5 = QtGui.QHBoxLayout()
self.horizontalLayout_5.setSpacing(4)
self.horizontalLayout_5.setObjectName(_fromUtf8("horizontalLayout_5"))
self.gridLayout_2 = QtGui.QGridLayout()
self.gridLayout_2.setObjectName(_fromUtf8("gridLayout_2"))
self.virtTimeLabel = QtGui.QLabel(self.frame)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Preferred, QtGui.QSizePolicy.Preferred)
sizePolicy.setHorizontalStretch(1)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.virtTimeLabel.sizePolicy().hasHeightForWidth())
self.virtTimeLabel.setSizePolicy(sizePolicy)
self.virtTimeLabel.setObjectName(_fromUtf8("virtTimeLabel"))
self.gridLayout_2.addWidget(self.virtTimeLabel, 0, 0, 1, 1)
self.gridLayout = QtGui.QGridLayout()
self.gridLayout.setObjectName(_fromUtf8("gridLayout"))
self.iterLabel = QtGui.QLabel(self.frame)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Preferred, QtGui.QSizePolicy.Preferred)
sizePolicy.setHorizontalStretch(1)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.iterLabel.sizePolicy().hasHeightForWidth())
self.iterLabel.setSizePolicy(sizePolicy)
self.iterLabel.setWordWrap(True)
self.iterLabel.setObjectName(_fromUtf8("iterLabel"))
self.gridLayout.addWidget(self.iterLabel, 1, 1, 1, 1)
self.dtLabel = QtGui.QLabel(self.frame)
self.dtLabel.setObjectName(_fromUtf8("dtLabel"))
self.gridLayout.addWidget(self.dtLabel, 2, 1, 1, 1)
self.label_8 = QtGui.QLabel(self.frame)
self.label_8.setObjectName(_fromUtf8("label_8"))
self.gridLayout.addWidget(self.label_8, 1, 0, 1, 1)
self.label_6 = QtGui.QLabel(self.frame)
self.label_6.setObjectName(_fromUtf8("label_6"))
self.gridLayout.addWidget(self.label_6, 0, 0, 1, 1)
self.realTimeLabel = QtGui.QLabel(self.frame)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Preferred, QtGui.QSizePolicy.Preferred)
sizePolicy.setHorizontalStretch(1)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.realTimeLabel.sizePolicy().hasHeightForWidth())
self.realTimeLabel.setSizePolicy(sizePolicy)
self.realTimeLabel.setObjectName(_fromUtf8("realTimeLabel"))
self.gridLayout.addWidget(self.realTimeLabel, 0, 1, 1, 1)
self.label_9 = QtGui.QLabel(self.frame)
self.label_9.setObjectName(_fromUtf8("label_9"))
self.gridLayout.addWidget(self.label_9, 2, 0, 1, 1)
self.gridLayout_2.addLayout(self.gridLayout, 1, 0, 1, 1)
self.horizontalLayout_5.addLayout(self.gridLayout_2)
self.verticalLayout_3 = QtGui.QVBoxLayout()
self.verticalLayout_3.setSpacing(0)
self.verticalLayout_3.setObjectName(_fromUtf8("verticalLayout_3"))
self.loadButton = QtGui.QPushButton(self.frame)
self.loadButton.setEnabled(True)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.MinimumExpanding, QtGui.QSizePolicy.Fixed)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.loadButton.sizePolicy().hasHeightForWidth())
self.loadButton.setSizePolicy(sizePolicy)
self.loadButton.setMinimumSize(QtCore.QSize(0, 0))
self.loadButton.setObjectName(_fromUtf8("loadButton"))
self.verticalLayout_3.addWidget(self.loadButton)
self.saveButton = QtGui.QPushButton(self.frame)
self.saveButton.setEnabled(True)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.MinimumExpanding, QtGui.QSizePolicy.Fixed)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.saveButton.sizePolicy().hasHeightForWidth())
self.saveButton.setSizePolicy(sizePolicy)
self.saveButton.setMinimumSize(QtCore.QSize(0, 0))
self.saveButton.setObjectName(_fromUtf8("saveButton"))
self.verticalLayout_3.addWidget(self.saveButton)
self.fileLabel = QtGui.QLineEdit(self.frame)
self.fileLabel.setEnabled(False)
self.fileLabel.setFocusPolicy(QtCore.Qt.NoFocus)
self.fileLabel.setCursorPosition(9)
self.fileLabel.setAlignment(QtCore.Qt.AlignRight|QtCore.Qt.AlignTrailing|QtCore.Qt.AlignVCenter)
self.fileLabel.setDragEnabled(False)
self.fileLabel.setReadOnly(True)
self.fileLabel.setObjectName(_fromUtf8("fileLabel"))
self.verticalLayout_3.addWidget(self.fileLabel)
self.horizontalLayout_5.addLayout(self.verticalLayout_3)
self.simPageLayout.addLayout(self.horizontalLayout_5, 0, 0, 1, 1)
self.horizontalLayout_2 = QtGui.QHBoxLayout()
self.horizontalLayout_2.setObjectName(_fromUtf8("horizontalLayout_2"))
self.verticalLayout_2 = QtGui.QVBoxLayout()
self.verticalLayout_2.setMargin(0)
self.verticalLayout_2.setSpacing(6)
self.verticalLayout_2.setObjectName(_fromUtf8("verticalLayout_2"))
self.horizontalLayout_3 = QtGui.QHBoxLayout()
self.horizontalLayout_3.setSpacing(6)
self.horizontalLayout_3.setObjectName(_fromUtf8("horizontalLayout_3"))
self.playButton = QtGui.QPushButton(self.frame)
self.playButton.setEnabled(False)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.MinimumExpanding, QtGui.QSizePolicy.MinimumExpanding)
sizePolicy.setHorizontalStretch(5)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.playButton.sizePolicy().hasHeightForWidth())
self.playButton.setSizePolicy(sizePolicy)
self.playButton.setMinimumSize(QtCore.QSize(0, 56))
font = QtGui.QFont()
font.setPointSize(18)
self.playButton.setFont(font)
self.playButton.setIconSize(QtCore.QSize(32, 32))
self.playButton.setDefault(True)
self.playButton.setFlat(False)
self.playButton.setObjectName(_fromUtf8("playButton"))
self.horizontalLayout_3.addWidget(self.playButton)
self.pauseButton = QtGui.QPushButton(self.frame)
self.pauseButton.setEnabled(False)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.MinimumExpanding, QtGui.QSizePolicy.MinimumExpanding)
sizePolicy.setHorizontalStretch(4)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.pauseButton.sizePolicy().hasHeightForWidth())
self.pauseButton.setSizePolicy(sizePolicy)
self.pauseButton.setMinimumSize(QtCore.QSize(0, 56))
font = QtGui.QFont()
font.setPointSize(18)
self.pauseButton.setFont(font)
self.pauseButton.setIconSize(QtCore.QSize(32, 32))
self.pauseButton.setObjectName(_fromUtf8("pauseButton"))
self.horizontalLayout_3.addWidget(self.pauseButton)
self.verticalLayout_2.addLayout(self.horizontalLayout_3)
self.horizontalLayout_4 = QtGui.QHBoxLayout()
self.horizontalLayout_4.setSpacing(0)
self.horizontalLayout_4.setObjectName(_fromUtf8("horizontalLayout_4"))
self.gridLayout_9 = QtGui.QGridLayout()
self.gridLayout_9.setMargin(0)
self.gridLayout_9.setSpacing(0)
self.gridLayout_9.setObjectName(_fromUtf8("gridLayout_9"))
self.stepButton = QtGui.QPushButton(self.frame)
self.stepButton.setEnabled(False)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.MinimumExpanding, QtGui.QSizePolicy.MinimumExpanding)
sizePolicy.setHorizontalStretch(2)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.stepButton.sizePolicy().hasHeightForWidth())
self.stepButton.setSizePolicy(sizePolicy)
font = QtGui.QFont()
font.setPointSize(12)
self.stepButton.setFont(font)
self.stepButton.setIconSize(QtCore.QSize(32, 32))
self.stepButton.setObjectName(_fromUtf8("stepButton"))
self.gridLayout_9.addWidget(self.stepButton, 0, 0, 1, 1)
self.horizontalLayout_4.addLayout(self.gridLayout_9)
self.verticalLayout_5 = QtGui.QVBoxLayout()
self.verticalLayout_5.setObjectName(_fromUtf8("verticalLayout_5"))
self.subStepCheckbox = QtGui.QCheckBox(self.frame)
font = QtGui.QFont()
font.setPointSize(7)
self.subStepCheckbox.setFont(font)
self.subStepCheckbox.setObjectName(_fromUtf8("subStepCheckbox"))
self.verticalLayout_5.addWidget(self.subStepCheckbox)
self.multiStepSpinBox = QtGui.QSpinBox(self.frame)
self.multiStepSpinBox.setMinimum(1)
self.multiStepSpinBox.setMaximum(999)
self.multiStepSpinBox.setObjectName(_fromUtf8("multiStepSpinBox"))
self.verticalLayout_5.addWidget(self.multiStepSpinBox)
self.horizontalLayout_4.addLayout(self.verticalLayout_5)
self.throttleControl = QtGui.QDial(self.frame)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Fixed)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.throttleControl.sizePolicy().hasHeightForWidth())
self.throttleControl.setSizePolicy(sizePolicy)
self.throttleControl.setMinimumSize(QtCore.QSize(0, 0))
self.throttleControl.setMaximumSize(QtCore.QSize(40, 40))
self.throttleControl.setBaseSize(QtCore.QSize(0, 0))
self.throttleControl.setMaximum(100)
self.throttleControl.setSingleStep(2)
self.throttleControl.setTracking(True)
self.throttleControl.setOrientation(QtCore.Qt.Horizontal)
self.throttleControl.setInvertedAppearance(True)
self.throttleControl.setInvertedControls(True)
self.throttleControl.setNotchTarget(100.0)
self.throttleControl.setNotchesVisible(False)
self.throttleControl.setObjectName(_fromUtf8("throttleControl"))
self.horizontalLayout_4.addWidget(self.throttleControl)
self.reloadButton = QtGui.QPushButton(self.frame)
self.reloadButton.setEnabled(False)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.MinimumExpanding, QtGui.QSizePolicy.MinimumExpanding)
sizePolicy.setHorizontalStretch(5)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.reloadButton.sizePolicy().hasHeightForWidth())
self.reloadButton.setSizePolicy(sizePolicy)
font = QtGui.QFont()
font.setPointSize(22)
self.reloadButton.setFont(font)
self.reloadButton.setIconSize(QtCore.QSize(32, 32))
self.reloadButton.setObjectName(_fromUtf8("reloadButton"))
self.horizontalLayout_4.addWidget(self.reloadButton)
self.verticalLayout_2.addLayout(self.horizontalLayout_4)
self.horizontalLayout_2.addLayout(self.verticalLayout_2)
self.verticalLayout = QtGui.QVBoxLayout()
self.verticalLayout.setContentsMargins(6, -1, -1, -1)
self.verticalLayout.setSpacing(6)
self.verticalLayout.setObjectName(_fromUtf8("verticalLayout"))
self.show3dButton = QtGui.QPushButton(self.frame)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Minimum, QtGui.QSizePolicy.MinimumExpanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.show3dButton.sizePolicy().hasHeightForWidth())
self.show3dButton.setSizePolicy(sizePolicy)
self.show3dButton.setCheckable(True)
self.show3dButton.setObjectName(_fromUtf8("show3dButton"))
self.verticalLayout.addWidget(self.show3dButton)
self.plotButton = QtGui.QPushButton(self.frame)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Minimum, QtGui.QSizePolicy.MinimumExpanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.plotButton.sizePolicy().hasHeightForWidth())
self.plotButton.setSizePolicy(sizePolicy)
self.plotButton.setObjectName(_fromUtf8("plotButton"))
self.verticalLayout.addWidget(self.plotButton)
self.inspectButton = QtGui.QPushButton(self.frame)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Minimum, QtGui.QSizePolicy.MinimumExpanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.inspectButton.sizePolicy().hasHeightForWidth())
self.inspectButton.setSizePolicy(sizePolicy)
self.inspectButton.setCheckable(False)
self.inspectButton.setObjectName(_fromUtf8("inspectButton"))
self.verticalLayout.addWidget(self.inspectButton)
self.horizontalLayout_2.addLayout(self.verticalLayout)
self.simPageLayout.addLayout(self.horizontalLayout_2, 1, 0, 1, 1)
self.customArea = QtGui.QFrame(self.frame)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Preferred, QtGui.QSizePolicy.Preferred)
sizePolicy.setHorizontalStretch(40)
sizePolicy.setVerticalStretch(40)
sizePolicy.setHeightForWidth(self.customArea.sizePolicy().hasHeightForWidth())
self.customArea.setSizePolicy(sizePolicy)
self.customArea.setFrameShape(QtGui.QFrame.StyledPanel)
self.customArea.setFrameShadow(QtGui.QFrame.Raised)
self.customArea.setObjectName(_fromUtf8("customArea"))
self.simPageLayout.addWidget(self.customArea, 2, 0, 1, 1)
self.gridLayout_12.addLayout(self.simPageLayout, 0, 0, 1, 1)
self.gridLayout_4.addWidget(self.frame, 0, 0, 1, 1)
self.controllerTabs.addTab(self.tabGridLayout, _fromUtf8(""))
self.tab_2 = QtGui.QWidget()
self.tab_2.setObjectName(_fromUtf8("tab_2"))
self.gridLayout_7 = QtGui.QGridLayout(self.tab_2)
self.gridLayout_7.setMargin(0)
self.gridLayout_7.setSpacing(0)
self.gridLayout_7.setObjectName(_fromUtf8("gridLayout_7"))
self.gridLayout_3 = QtGui.QGridLayout()
self.gridLayout_3.setSpacing(0)
self.gridLayout_3.setObjectName(_fromUtf8("gridLayout_3"))
self.horizontalLayout_13 = QtGui.QHBoxLayout()
self.horizontalLayout_13.setObjectName(_fromUtf8("horizontalLayout_13"))
self.dispMenuButton = QtGui.QPushButton(self.tab_2)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Fixed)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.dispMenuButton.sizePolicy().hasHeightForWidth())
self.dispMenuButton.setSizePolicy(sizePolicy)
self.dispMenuButton.setMinimumSize(QtCore.QSize(30, 0))
self.dispMenuButton.setMaximumSize(QtCore.QSize(30, 16777215))
self.dispMenuButton.setObjectName(_fromUtf8("dispMenuButton"))
self.horizontalLayout_13.addWidget(self.dispMenuButton)
self.displayCombo = QtGui.QComboBox(self.tab_2)
self.displayCombo.setObjectName(_fromUtf8("displayCombo"))
self.horizontalLayout_13.addWidget(self.displayCombo)
self.gridLayout_3.addLayout(self.horizontalLayout_13, 0, 0, 1, 1)
self.displayArea = QtGui.QScrollArea(self.tab_2)
self.displayArea.setWidgetResizable(True)
self.displayArea.setObjectName(_fromUtf8("displayArea"))
self.displayAreaWidget = QtGui.QWidget()
self.displayAreaWidget.setGeometry(QtCore.QRect(0, 0, 403, 479))
self.displayAreaWidget.setObjectName(_fromUtf8("displayAreaWidget"))
self.displayArea.setWidget(self.displayAreaWidget)
self.gridLayout_3.addWidget(self.displayArea, 1, 0, 1, 1)
self.gridLayout_7.addLayout(self.gridLayout_3, 0, 0, 1, 1)
self.controllerTabs.addTab(self.tab_2, _fromUtf8(""))
self.tab_4 = QtGui.QWidget()
self.tab_4.setObjectName(_fromUtf8("tab_4"))
self.gridLayout_6 = QtGui.QGridLayout(self.tab_4)
self.gridLayout_6.setMargin(0)
self.gridLayout_6.setObjectName(_fromUtf8("gridLayout_6"))
self.gridLayout_5 = QtGui.QGridLayout()
self.gridLayout_5.setSpacing(0)
self.gridLayout_5.setObjectName(_fromUtf8("gridLayout_5"))
self.horizontalLayout_6 = QtGui.QHBoxLayout()
self.horizontalLayout_6.setObjectName(_fromUtf8("horizontalLayout_6"))
self.preMenuButton = QtGui.QPushButton(self.tab_4)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Fixed)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.preMenuButton.sizePolicy().hasHeightForWidth())
self.preMenuButton.setSizePolicy(sizePolicy)
self.preMenuButton.setMaximumSize(QtCore.QSize(30, 16777215))
self.preMenuButton.setBaseSize(QtCore.QSize(30, 0))
self.preMenuButton.setAcceptDrops(False)
self.preMenuButton.setDefault(True)
self.preMenuButton.setFlat(False)
self.preMenuButton.setObjectName(_fromUtf8("preMenuButton"))
self.horizontalLayout_6.addWidget(self.preMenuButton)
self.generatorCombo = QtGui.QComboBox(self.tab_4)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Expanding, QtGui.QSizePolicy.Fixed)
sizePolicy.setHorizontalStretch(2)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.generatorCombo.sizePolicy().hasHeightForWidth())
self.generatorCombo.setSizePolicy(sizePolicy)
self.generatorCombo.setObjectName(_fromUtf8("generatorCombo"))
self.horizontalLayout_6.addWidget(self.generatorCombo)
self.genSaveParamsButton = QtGui.QPushButton(self.tab_4)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Expanding, QtGui.QSizePolicy.Fixed)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.genSaveParamsButton.sizePolicy().hasHeightForWidth())
self.genSaveParamsButton.setSizePolicy(sizePolicy)
self.genSaveParamsButton.setMinimumSize(QtCore.QSize(58, 0))
self.genSaveParamsButton.setObjectName(_fromUtf8("genSaveParamsButton"))
self.horizontalLayout_6.addWidget(self.genSaveParamsButton)
self.gridLayout_5.addLayout(self.horizontalLayout_6, 2, 0, 1, 1)
self.generatorArea = QtGui.QScrollArea(self.tab_4)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.MinimumExpanding, QtGui.QSizePolicy.MinimumExpanding)
sizePolicy.setHorizontalStretch(200)
sizePolicy.setVerticalStretch(200)
sizePolicy.setHeightForWidth(self.generatorArea.sizePolicy().hasHeightForWidth())
self.generatorArea.setSizePolicy(sizePolicy)
self.generatorArea.setMinimumSize(QtCore.QSize(0, 0))
self.generatorArea.setWidgetResizable(True)
self.generatorArea.setObjectName(_fromUtf8("generatorArea"))
self.generatorAreaWidget = QtGui.QWidget()
self.generatorAreaWidget.setGeometry(QtCore.QRect(0, 0, 500, 500))
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.MinimumExpanding, QtGui.QSizePolicy.MinimumExpanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.generatorAreaWidget.sizePolicy().hasHeightForWidth())
self.generatorAreaWidget.setSizePolicy(sizePolicy)
self.generatorAreaWidget.setMinimumSize(QtCore.QSize(500, 500))
self.generatorAreaWidget.setMaximumSize(QtCore.QSize(398, 336))
self.generatorAreaWidget.setObjectName(_fromUtf8("generatorAreaWidget"))
self.generatorArea.setWidget(self.generatorAreaWidget)
self.gridLayout_5.addWidget(self.generatorArea, 4, 0, 1, 1)
self.horizontalLayout = QtGui.QHBoxLayout()
self.horizontalLayout.setSpacing(2)
self.horizontalLayout.setObjectName(_fromUtf8("horizontalLayout"))
self.label_2 = QtGui.QLabel(self.tab_4)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Expanding, QtGui.QSizePolicy.Preferred)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.label_2.sizePolicy().hasHeightForWidth())
self.label_2.setSizePolicy(sizePolicy)
self.label_2.setObjectName(_fromUtf8("label_2"))
self.horizontalLayout.addWidget(self.label_2)
self.genOpenCheckbox = QtGui.QCheckBox(self.tab_4)
font = QtGui.QFont()
font.setPointSize(9)
self.genOpenCheckbox.setFont(font)
self.genOpenCheckbox.setChecked(True)
self.genOpenCheckbox.setObjectName(_fromUtf8("genOpenCheckbox"))
self.horizontalLayout.addWidget(self.genOpenCheckbox)
self.label_3 = QtGui.QLabel(self.tab_4)
self.label_3.setObjectName(_fromUtf8("label_3"))
self.horizontalLayout.addWidget(self.label_3)
self.genMemoryCombo = QtGui.QComboBox(self.tab_4)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Expanding, QtGui.QSizePolicy.Fixed)
sizePolicy.setHorizontalStretch(1)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.genMemoryCombo.sizePolicy().hasHeightForWidth())
self.genMemoryCombo.setSizePolicy(sizePolicy)
self.genMemoryCombo.setObjectName(_fromUtf8("genMemoryCombo"))
self.genMemoryCombo.addItem(_fromUtf8(""))
self.genMemoryCombo.addItem(_fromUtf8(""))
self.horizontalLayout.addWidget(self.genMemoryCombo)
self.generatorFilenameEdit = QtGui.QLineEdit(self.tab_4)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Expanding, QtGui.QSizePolicy.Fixed)
sizePolicy.setHorizontalStretch(3)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.generatorFilenameEdit.sizePolicy().hasHeightForWidth())
self.generatorFilenameEdit.setSizePolicy(sizePolicy)
self.generatorFilenameEdit.setObjectName(_fromUtf8("generatorFilenameEdit"))
self.horizontalLayout.addWidget(self.generatorFilenameEdit)
self.generateButton = QtGui.QPushButton(self.tab_4)
self.generateButton.setMinimumSize(QtCore.QSize(0, 50))
self.generateButton.setMaximumSize(QtCore.QSize(50, 16777215))
self.generateButton.setObjectName(_fromUtf8("generateButton"))
self.horizontalLayout.addWidget(self.generateButton)
self.gridLayout_5.addLayout(self.horizontalLayout, 5, 0, 1, 1)
self.gridLayout_6.addLayout(self.gridLayout_5, 0, 0, 1, 1)
self.controllerTabs.addTab(self.tab_4, _fromUtf8(""))
self.tab_5 = QtGui.QWidget()
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Expanding, QtGui.QSizePolicy.Expanding)
sizePolicy.setHorizontalStretch(1)
sizePolicy.setVerticalStretch(1)
sizePolicy.setHeightForWidth(self.tab_5.sizePolicy().hasHeightForWidth())
self.tab_5.setSizePolicy(sizePolicy)
self.tab_5.setObjectName(_fromUtf8("tab_5"))
self.gridLayout_10 = QtGui.QGridLayout(self.tab_5)
self.gridLayout_10.setMargin(0)
self.gridLayout_10.setSpacing(0)
self.gridLayout_10.setObjectName(_fromUtf8("gridLayout_10"))
self.horizontalLayout_9 = QtGui.QHBoxLayout()
self.horizontalLayout_9.setObjectName(_fromUtf8("horizontalLayout_9"))
self.traceCheckbox = QtGui.QCheckBox(self.tab_5)
self.traceCheckbox.setObjectName(_fromUtf8("traceCheckbox"))
self.horizontalLayout_9.addWidget(self.traceCheckbox)
self.resetTraceButton = QtGui.QPushButton(self.tab_5)
self.resetTraceButton.setEnabled(False)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Fixed)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.resetTraceButton.sizePolicy().hasHeightForWidth())
self.resetTraceButton.setSizePolicy(sizePolicy)
self.resetTraceButton.setObjectName(_fromUtf8("resetTraceButton"))
self.horizontalLayout_9.addWidget(self.resetTraceButton)
self.gridLayout_10.addLayout(self.horizontalLayout_9, 0, 0, 1, 1)
self.tracerArea = QtGui.QScrollArea(self.tab_5)
self.tracerArea.setWidgetResizable(True)
self.tracerArea.setObjectName(_fromUtf8("tracerArea"))
self.scrollAreaWidgetContents = QtGui.QWidget()
self.scrollAreaWidgetContents.setGeometry(QtCore.QRect(0, 0, 96, 26))
self.scrollAreaWidgetContents.setObjectName(_fromUtf8("scrollAreaWidgetContents"))
self.tracerArea.setWidget(self.scrollAreaWidgetContents)
self.gridLayout_10.addWidget(self.tracerArea, 1, 0, 1, 1)
self.controllerTabs.addTab(self.tab_5, _fromUtf8(""))
self.tab_3 = QtGui.QWidget()
self.tab_3.setObjectName(_fromUtf8("tab_3"))
self.gridLayout_8 = QtGui.QGridLayout(self.tab_3)
self.gridLayout_8.setMargin(0)
self.gridLayout_8.setSpacing(0)
self.gridLayout_8.setObjectName(_fromUtf8("gridLayout_8"))
self.verticalLayout_4 = QtGui.QVBoxLayout()
self.verticalLayout_4.setObjectName(_fromUtf8("verticalLayout_4"))
self.horizontalLayout_8 = QtGui.QHBoxLayout()
self.horizontalLayout_8.setObjectName(_fromUtf8("horizontalLayout_8"))
self.movieCheckbox = QtGui.QCheckBox(self.tab_3)
self.movieCheckbox.setObjectName(_fromUtf8("movieCheckbox"))
self.horizontalLayout_8.addWidget(self.movieCheckbox)
self.verticalLayout_4.addLayout(self.horizontalLayout_8)
self.movieArea = QtGui.QScrollArea(self.tab_3)
self.movieArea.setWidgetResizable(True)
self.movieArea.setObjectName(_fromUtf8("movieArea"))
self.movieAreaWidget = QtGui.QWidget()
self.movieAreaWidget.setGeometry(QtCore.QRect(0, 0, 403, 451))
self.movieAreaWidget.setObjectName(_fromUtf8("movieAreaWidget"))
self.movieArea.setWidget(self.movieAreaWidget)
self.verticalLayout_4.addWidget(self.movieArea)
self.gridLayout_8.addLayout(self.verticalLayout_4, 0, 0, 1, 1)
self.horizontalLayout_7 = QtGui.QHBoxLayout()
self.horizontalLayout_7.setObjectName(_fromUtf8("horizontalLayout_7"))
self.movieBitrateSpinbox = QtGui.QSpinBox(self.tab_3)
self.movieBitrateSpinbox.setMinimum(500)
self.movieBitrateSpinbox.setMaximum(15000)
self.movieBitrateSpinbox.setSingleStep(500)
self.movieBitrateSpinbox.setProperty("value", 15000)
self.movieBitrateSpinbox.setObjectName(_fromUtf8("movieBitrateSpinbox"))
self.horizontalLayout_7.addWidget(self.movieBitrateSpinbox)
self.label_4 = QtGui.QLabel(self.tab_3)
self.label_4.setObjectName(_fromUtf8("label_4"))
self.horizontalLayout_7.addWidget(self.label_4)
self.movieFpsSpinbox = QtGui.QSpinBox(self.tab_3)
self.movieFpsSpinbox.setMinimum(1)
self.movieFpsSpinbox.setMaximum(999)
self.movieFpsSpinbox.setProperty("value", 25)
self.movieFpsSpinbox.setObjectName(_fromUtf8("movieFpsSpinbox"))
self.horizontalLayout_7.addWidget(self.movieFpsSpinbox)
self.label = QtGui.QLabel(self.tab_3)
self.label.setObjectName(_fromUtf8("label"))
self.horizontalLayout_7.addWidget(self.label)
self.movieFileEdit = QtGui.QLineEdit(self.tab_3)
self.movieFileEdit.setText(_fromUtf8("/tmp/out.mpeg4"))
self.movieFileEdit.setObjectName(_fromUtf8("movieFileEdit"))
self.horizontalLayout_7.addWidget(self.movieFileEdit)
self.movieButton = QtGui.QPushButton(self.tab_3)
self.movieButton.setObjectName(_fromUtf8("movieButton"))
self.horizontalLayout_7.addWidget(self.movieButton)
self.gridLayout_8.addLayout(self.horizontalLayout_7, 1, 0, 1, 1)
self.controllerTabs.addTab(self.tab_3, _fromUtf8(""))
self.aboutTab = QtGui.QWidget()
self.aboutTab.setObjectName(_fromUtf8("aboutTab"))
self.gridLayout_11 = QtGui.QGridLayout(self.aboutTab)
self.gridLayout_11.setMargin(0)
self.gridLayout_11.setSpacing(0)
self.gridLayout_11.setObjectName(_fromUtf8("gridLayout_11"))
self.aboutArea = QtGui.QScrollArea(self.aboutTab)
self.aboutArea.setHorizontalScrollBarPolicy(QtCore.Qt.ScrollBarAlwaysOff)
self.aboutArea.setWidgetResizable(True)
self.aboutArea.setObjectName(_fromUtf8("aboutArea"))
self.aboutScroll = QtGui.QWidget()
self.aboutScroll.setEnabled(True)
self.aboutScroll.setGeometry(QtCore.QRect(0, 0, 233, 114))
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.MinimumExpanding, QtGui.QSizePolicy.MinimumExpanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.aboutScroll.sizePolicy().hasHeightForWidth())
self.aboutScroll.setSizePolicy(sizePolicy)
self.aboutScroll.setObjectName(_fromUtf8("aboutScroll"))
self.gridLayout_14 = QtGui.QGridLayout(self.aboutScroll)
self.gridLayout_14.setContentsMargins(0, 10, 0, 0)
self.gridLayout_14.setSpacing(3)
self.gridLayout_14.setObjectName(_fromUtf8("gridLayout_14"))
self.aboutGrid = QtGui.QGridLayout()
self.aboutGrid.setSizeConstraint(QtGui.QLayout.SetDefaultConstraint)
self.aboutGrid.setContentsMargins(-1, 5, -1, -1)
self.aboutGrid.setSpacing(0)
self.aboutGrid.setObjectName(_fromUtf8("aboutGrid"))
self.label_5 = QtGui.QLabel(self.aboutScroll)
self.label_5.setEnabled(True)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Minimum, QtGui.QSizePolicy.Minimum)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.label_5.sizePolicy().hasHeightForWidth())
self.label_5.setSizePolicy(sizePolicy)
self.label_5.setMinimumSize(QtCore.QSize(50, 60))
self.label_5.setMaximumSize(QtCore.QSize(110, 100))
font = QtGui.QFont()
font.setKerning(False)
self.label_5.setFont(font)
self.label_5.setFrameShape(QtGui.QFrame.NoFrame)
self.label_5.setFrameShadow(QtGui.QFrame.Plain)
self.label_5.setLineWidth(0)
self.label_5.setText(_fromUtf8(""))
self.label_5.setPixmap(QtGui.QPixmap(_fromUtf8(":/img/woo-logo.svg")))
self.label_5.setScaledContents(True)
self.label_5.setWordWrap(True)
self.label_5.setObjectName(_fromUtf8("label_5"))
self.aboutGrid.addWidget(self.label_5, 0, 0, 1, 1)
self.label_7 = QtGui.QLabel(self.aboutScroll)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Expanding, QtGui.QSizePolicy.Minimum)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.label_7.sizePolicy().hasHeightForWidth())
self.label_7.setSizePolicy(sizePolicy)
self.label_7.setMaximumSize(QtCore.QSize(200, 16777215))
self.label_7.setTextFormat(QtCore.Qt.RichText)
self.label_7.setScaledContents(False)
self.label_7.setWordWrap(False)
self.label_7.setOpenExternalLinks(True)
self.label_7.setTextInteractionFlags(QtCore.Qt.LinksAccessibleByMouse|QtCore.Qt.TextSelectableByKeyboard|QtCore.Qt.TextSelectableByMouse)
self.label_7.setObjectName(_fromUtf8("label_7"))
self.aboutGrid.addWidget(self.label_7, 0, 1, 1, 1)
self.aboutGeneralLabel = QtGui.QLabel(self.aboutScroll)
sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Preferred, QtGui.QSizePolicy.Preferred)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(1)
sizePolicy.setHeightForWidth(self.aboutGeneralLabel.sizePolicy().hasHeightForWidth())
self.aboutGeneralLabel.setSizePolicy(sizePolicy)
self.aboutGeneralLabel.setTextFormat(QtCore.Qt.RichText)
self.aboutGeneralLabel.setScaledContents(False)
self.aboutGeneralLabel.setOpenExternalLinks(True)
self.aboutGeneralLabel.setTextInteractionFlags(QtCore.Qt.LinksAccessibleByMouse|QtCore.Qt.TextSelectableByKeyboard|QtCore.Qt.TextSelectableByMouse)
self.aboutGeneralLabel.setObjectName(_fromUtf8("aboutGeneralLabel"))
self.aboutGrid.addWidget(self.aboutGeneralLabel, 2, 0, 1, 2)
self.aboutExtraLabel = QtGui.QLabel(self.aboutScroll)
self.aboutExtraLabel.setText(_fromUtf8(""))
self.aboutExtraLabel.setOpenExternalLinks(True)
self.aboutExtraLabel.setTextInteractionFlags(QtCore.Qt.LinksAccessibleByKeyboard|QtCore.Qt.LinksAccessibleByMouse|QtCore.Qt.TextBrowserInteraction|QtCore.Qt.TextSelectableByKeyboard|QtCore.Qt.TextSelectableByMouse)
self.aboutExtraLabel.setObjectName(_fromUtf8("aboutExtraLabel"))
self.aboutGrid.addWidget(self.aboutExtraLabel, 1, 0, 1, 2)
self.gridLayout_14.addLayout(self.aboutGrid, 0, 0, 1, 1)
self.aboutArea.setWidget(self.aboutScroll)
self.gridLayout_11.addWidget(self.aboutArea, 0, 0, 1, 1)
self.controllerTabs.addTab(self.aboutTab, _fromUtf8(""))
self.gridLayout_13.addWidget(self.controllerTabs, 0, 0, 1, 1)
self.retranslateUi(Controller)
self.controllerTabs.setCurrentIndex(4)
QtCore.QObject.connect(self.loadButton, QtCore.SIGNAL(_fromUtf8("clicked()")), Controller.loadSlot)
QtCore.QObject.connect(self.saveButton, QtCore.SIGNAL(_fromUtf8("clicked()")), Controller.saveSlot)
QtCore.QObject.connect(self.playButton, QtCore.SIGNAL(_fromUtf8("clicked()")), Controller.playSlot)
QtCore.QObject.connect(self.pauseButton, QtCore.SIGNAL(_fromUtf8("clicked()")), Controller.pauseSlot)
QtCore.QObject.connect(self.plotButton, QtCore.SIGNAL(_fromUtf8("clicked()")), Controller.plotSlot)
QtCore.QObject.connect(self.generatorCombo, QtCore.SIGNAL(_fromUtf8("currentIndexChanged(QString)")), Controller.generatorComboSlot)
QtCore.QObject.connect(self.inspectButton, QtCore.SIGNAL(_fromUtf8("clicked()")), Controller.inspectSlot)
QtCore.QObject.connect(self.reloadButton, QtCore.SIGNAL(_fromUtf8("clicked()")), Controller.reloadSlot)
QtCore.QObject.connect(self.stepButton, QtCore.SIGNAL(_fromUtf8("clicked()")), Controller.stepSlot)
QtCore.QObject.connect(self.subStepCheckbox, QtCore.SIGNAL(_fromUtf8("stateChanged(int)")), Controller.subStepSlot)
QtCore.QObject.connect(self.show3dButton, QtCore.SIGNAL(_fromUtf8("toggled(bool)")), Controller.show3dSlot)
QtCore.QObject.connect(self.generateButton, QtCore.SIGNAL(_fromUtf8("clicked()")), Controller.generateSlot)
QtCore.QObject.connect(self.genSaveParamsButton, QtCore.SIGNAL(_fromUtf8("clicked()")), Controller.genSaveParamsSlot)
QtCore.QObject.connect(self.movieCheckbox, QtCore.SIGNAL(_fromUtf8("toggled(bool)")), Controller.movieCheckboxToggled)
QtCore.QObject.connect(self.movieButton, QtCore.SIGNAL(_fromUtf8("clicked()")), Controller.movieButtonClicked)
QtCore.QObject.connect(self.resetTraceButton, QtCore.SIGNAL(_fromUtf8("clicked()")), Controller.resetTraceClicked)
QtCore.QObject.connect(self.traceCheckbox, QtCore.SIGNAL(_fromUtf8("toggled(bool)")), Controller.traceCheckboxToggled)
QtCore.QObject.connect(self.throttleControl, QtCore.SIGNAL(_fromUtf8("valueChanged(int)")), Controller.throttleChanged)
QtCore.QObject.connect(self.displayCombo, QtCore.SIGNAL(_fromUtf8("currentIndexChanged(QString)")), Controller.displayComboSlot)
QtCore.QMetaObject.connectSlotsByName(Controller)
def retranslateUi(self, Controller):
Controller.setWindowTitle(_translate("Controller", "Woo", None))
self.virtTimeLabel.setText(_translate("Controller", "00:000.000m000μ000n", None))
self.iterLabel.setText(_translate("Controller", "#0, 0.0/s", None))
self.dtLabel.setText(_translate("Controller", "0", None))
self.label_8.setText(_translate("Controller", "step", None))
self.label_6.setText(_translate("Controller", "real", None))
self.realTimeLabel.setText(_translate("Controller", "00:00:00", None))
self.label_9.setText(_translate("Controller", "Δt", None))
self.loadButton.setToolTip(_translate("Controller", "Load saved simulation", None))
self.loadButton.setText(_translate("Controller", "Load", None))
self.saveButton.setToolTip(_translate("Controller", "Save current stimulation", None))
self.saveButton.setText(_translate("Controller", "Save as", None))
self.fileLabel.setText(_translate("Controller", "[no file]", None))
self.playButton.setToolTip(_translate("Controller", "<html><head/><body><p>Run simulation</p></body></html>", None))
self.playButton.setText(_translate("Controller", "▶", None))
self.pauseButton.setToolTip(_translate("Controller", "<html><head/><body><p>Stop simulation</p></body></html>", None))
self.pauseButton.setText(_translate("Controller", "▮▮", None))
self.stepButton.setToolTip(_translate("Controller", "<html><head/><body><p>Step through simulation</p></body></html>", None))
self.stepButton.setText(_translate("Controller", "▶▮", None))
self.subStepCheckbox.setToolTip(_translate("Controller", "Step through individual engines rather then whole timesteps", None))
self.subStepCheckbox.setText(_translate("Controller", "sub", None))
self.multiStepSpinBox.setToolTip(_translate("Controller", "<html><head/><body><p>Number of steps for stepping</p></body></html>", None))
self.throttleControl.setToolTip(_translate("Controller", "Limit the simulation speed by inserting pauses between timesteps. Set to 0 (default) to disable any slowdown and run as fast as possible. The number is the maximum number of steps per second since the delay of 1/N is inserted.", None))
self.reloadButton.setToolTip(_translate("Controller", "Reload simulation from last saved location", None))
self.reloadButton.setText(_translate("Controller", "↻", None))
self.show3dButton.setText(_translate("Controller", "3D", None))
self.plotButton.setText(_translate("Controller", "Plot", None))
self.inspectButton.setToolTip(_translate("Controller", "Loook at all simulation objects", None))
self.inspectButton.setText(_translate("Controller", "Inspect", None))
self.controllerTabs.setTabText(self.controllerTabs.indexOf(self.tabGridLayout), _translate("Controller", "Simulation", None))
self.dispMenuButton.setToolTip(_translate("Controller", "Predefined display profiles", None))
self.dispMenuButton.setText(_translate("Controller", "☰", None))
self.controllerTabs.setTabText(self.controllerTabs.indexOf(self.tab_2), _translate("Controller", "Display", None))
self.preMenuButton.setToolTip(_translate("Controller", "Refresh list of available preprocessors", None))
self.preMenuButton.setText(_translate("Controller", "☰", None))
self.genSaveParamsButton.setText(_translate("Controller", "save", None))
self.label_2.setText(_translate("Controller", "<html><head/><body><p>create <span style=\" font-size:8pt;\">(and</span></p></body></html>", None))
self.genOpenCheckbox.setText(_translate("Controller", "open)", None))
self.label_3.setText(_translate("Controller", "in", None))
self.genMemoryCombo.setItemText(0, _translate("Controller", "memory", None))
self.genMemoryCombo.setItemText(1, _translate("Controller", "file", None))
self.generatorFilenameEdit.setText(_translate("Controller", "gen", None))
self.generateButton.setText(_translate("Controller", "▶", None))
self.controllerTabs.setTabText(self.controllerTabs.indexOf(self.tab_4), _translate("Controller", "Preprocess", None))
self.traceCheckbox.setText(_translate("Controller", "Trace particles", None))
self.resetTraceButton.setText(_translate("Controller", "Reset", None))
self.controllerTabs.setTabText(self.controllerTabs.indexOf(self.tab_5), _translate("Controller", "Trace", None))
self.movieCheckbox.setToolTip(_translate("Controller", "<html><head/><body><p>Take snapshots of simulation periodically; use stepPeriod/iterPeriod/realPeriod to set frequency of snapshots.</p></body></html>", None))
self.movieCheckbox.setText(_translate("Controller", "Take snapshots", None))
self.label_4.setToolTip(_translate("Controller", "<html><head/><body><p>Bitrate of the resulting movie; it is proportional to quality and resulting file size.</p></body></html>", None))
self.label_4.setText(_translate("Controller", "kbps", None))
self.label.setToolTip(_translate("Controller", "<html><head/><body><p>Frames per second</p></body></html>", None))
self.label.setText(_translate("Controller", "fps", None))
self.movieFileEdit.setToolTip(_translate("Controller", "<html><head/><body><p>Output file name</p></body></html>", None))
self.movieButton.setText(_translate("Controller", "Make video", None))
self.controllerTabs.setTabText(self.controllerTabs.indexOf(self.tab_3), _translate("Controller", "Video", None))
self.label_7.setText(_translate("Controller", "<html><head/><body><p align=\"center\"><a href=\"http://www.woodem.eu\"><span style=\" font-weight:600; text-decoration: underline; color:#0000ff;\">Woo[dem]</span></a></p><p align=\"center\">© <a href=\"mailto:vaclav.smilauer@woodem.eu\"><span style=\" text-decoration: underline; color:#0000ff;\">Václav Šmilauer</span></a> and others</p><p align=\"center\">License: <a href=\"http://opensource.org/licenses/gpl-2.0.php\"><span style=\" text-decoration: underline; color:#0000ff;\">GNU GPL v2</span></a></p></body></html>", None))
self.aboutGeneralLabel.setText(_translate("Controller", "(filled at woo startup)", None))
self.controllerTabs.setTabText(self.controllerTabs.indexOf(self.aboutTab), _translate("Controller", "About", None))
import img_rc
|