Method do_remux

old_examples/synchronizer.py:678–684

(self)

        table.attach(button, 2, 3, 2, 3, gtk.FILL, gtk.FILL)

    def do_remux(self):
        if self.player.is_playing():
            self.play_toggled()
        in_uri = self.player.get_location()
        out_uri = in_uri[:-4] + '-remuxed.ogg'
        r = Resynchronizer(in_uri, out_uri, self.sync.get_sync_points())
        r.run(self)

    def do_choose_file(self):
        if self.player.is_playing():