editor.py 文件源码

def __init__(self, parent=None):
        super().__init__(parent)

        self.start_time_edit = bubblesub.ui.util.TimeEdit(self)
        self.end_time_edit = bubblesub.ui.util.TimeEdit(self)
        self.duration_edit = bubblesub.ui.util.TimeEdit(self)

        self.margins_widget = QtWidgets.QWidget(self)
        self.margin_l_edit = QtWidgets.QSpinBox(
            self.margins_widget, minimum=0, maximum=999)
        self.margin_v_edit = QtWidgets.QSpinBox(
            self.margins_widget, minimum=0, maximum=999)
        self.margin_r_edit = QtWidgets.QSpinBox(
            self.margins_widget, minimum=0, maximum=999)
        layout = QtWidgets.QHBoxLayout(self.margins_widget, spacing=0)
        layout.setContentsMargins(0, 0, 0, 0)
        layout.addWidget(self.margin_l_edit)
        layout.addWidget(self.margin_v_edit)
        layout.addWidget(self.margin_r_edit)

        self.layer_edit = QtWidgets.QSpinBox(self, minimum=0)

        layout = QtWidgets.QHBoxLayout(self)
        layout.setSpacing(12)
        layout.setContentsMargins(0, 0, 0, 0)
        layout.addWidget(QtWidgets.QLabel('Start time:', self))
        layout.addWidget(self.start_time_edit)
        layout.addWidget(QtWidgets.QLabel('End time:', self))
        layout.addWidget(self.end_time_edit)
        layout.addWidget(QtWidgets.QLabel('Duration:', self))
        layout.addWidget(self.duration_edit)
        layout.addStretch()
        layout.addWidget(QtWidgets.QLabel('Margins:', self))
        layout.addWidget(self.margins_widget)
        layout.addWidget(QtWidgets.QLabel('Layer:', self))
        layout.addWidget(self.layer_edit)