table.py 文件源码

def _clean_table(self):
        children = self.table.get_children();
        for element in children:
            #remove all Gtk.Label and Gtk.TextView objects
            if isinstance(element,Gtk.TextView) or isinstance(element,Gtk.Label):
                self.table.remove(element)
        #re-attach the source and target labels
        if self.monolingual:
            source_label = Gtk.Label("Unedited MT")
            self.table.attach(source_label, 1, 1+1, 0, 1+0)
            source_label.show()

            target_label = Gtk.Label("Edited MT")
            self.table.attach(target_label, 3, 3+1, 0, 1+0)
            target_label.show()

        else:
            source_label = Gtk.Label("Original")
            self.table.attach(source_label, 1, 1+1, 0, 1+0)
            source_label.show()

            non_modified_target_label = Gtk.Label("Non Edited MT")
            self.table.attach(non_modified_target_label, 2, 2+1, 0, 1+0)
            non_modified_target_label.show()

            modified_target_label = Gtk.Label("Edited MT")
            self.table.attach(modified_target_label, 3, 3+1, 0, 1+0)
            modified_target_label.show()