

def trim_pixels_cb(self, w):
    trim_px = int(w.get_text())
    self.w.trim_px.set_text(str(trim_px))
    self.settings.set(trim_px=trim_px)

dataset/ETHPy150Open ejeschke/ginga/ginga/misc/plugins/Mosaic.py Mosaic.trim_pixels_cb/original