1474 	def paint(self, painter, option, widget):  argument
1586 	def paint(self, painter, option, widget):  argument
1641 	def paint(self, painter, option, widget):  argument
1729 	def paint(self, painter, option, widget):  argument
1782 	def paint(self, painter, option, widget):  argument
1839 	def paint(self, painter, option, widget):  argument
2152 …sz1 = self.widget(1).view.columnWidth(0) + self.widget(1).view.columnWidth(1) + self.widget(1).vie…
2153 			sz1 = sz1 + self.widget(1).view.verticalScrollBar().sizeHint().width()
2156 		elif not(self.widget(1).saved_size is None):
2157 			sz1 = self.widget(1).saved_size
2455 		self.widget = SwitchGraphWidget(glb, collection, self)
2456 		self.view = self.widget
2459 		self.setWindowTitle(self.base_title + self.widget.Title())
2460 		self.widget.graph_title_changed.connect(self.GraphTitleChanged)
2462 		self.setWidget(self.widget)
3297 		self.widget = QLineEdit(default)
3298 		self.widget.editingFinished.connect(self.Validate)
3299 		self.widget.textChanged.connect(self.Invalidate)
3305 			self.widget.setPlaceholderText(placeholder_text)
3311 			self.widget.setPalette(palette)
3317 			self.widget.setPalette(palette)
3337 		input_string = self.widget.text()
3578 			self.grid.addWidget(self.data_items[row].widget, row, 1)
4562 def ResizeFont(widget, diff):  argument
4563 	font = widget.font()
4566 	widget.setFont(font)
4568 def ShrinkFont(widget):  argument
4569 	ResizeFont(widget, -1)
4571 def EnlargeFont(widget):  argument
4572 	ResizeFont(widget, 1)