__init__ (
        self,
        master,
        flist,
        browser,
        )

fill_menu ( self )

goto_source_line ( self )

load_stack (
        self,
        stack,
        index=None,
        )

on_double ( self,  index )

on_select ( self,  index )

popup_event ( self,  event )

show_source ( self,  index )

show_stack_frame ( self )