This file is indexed.

/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