import gtk

class PanedExt(gtk.Paned):

    """Extended gtk.Paned (abstract)

    set_snap1(int), set_snap2(int)

        set minimum size of child widget

        if the handle is moved to the edge, child widget is hidden

    """

    def __init__(self):

        self.connect('notify::position', self.on_position_change)

        self.min1 = 0

        self.min2 = 0

    def set_snap1(self, minpos):

        self.min1 = minpos

    def set_snap2(self, minpos):

        self.min2 = minpos

    def on_position_change(self, w, scrolltype):

        if self.allocation[0] == -1:

            return False

        pos = self.get_position()

        maxpos = self.get_property('max-position')

        if self.min1:

            if pos > 0 and pos < self.min1:

                if pos < self.min1 / 2:

                    self.set_position(0)

                else:

                    self.set_position(self.min1)

                return True

        if self.min2:

           if pos > maxpos - self.min2 and pos < maxpos:

                if pos > maxpos - self.min2 / 2:

                    self.set_position(maxpos)

                else:

                    self.set_position(maxpos - self.min2)

                return True

        return False

class HPanedExt(gtk.HPaned, PanedExt):

    def __init__(self):

        gtk.HPaned.__init__(self)

        PanedExt.__init__(self)

class VPanedExt(gtk.VPaned, PanedExt):

    def __init__(self):

        gtk.VPaned.__init__(self)

        PanedExt.__init__(self)