(self, ptr)
provide ptr as int
provide ptr as int
provide ptr as int
def on_add_bookmark(self, ptr):
        """
        provide ptr as int
        """
        if self.bookmarks_panel is not None:
            self.bookmarks_panel._create_bookmark(ptr=hex(ptr))
def on_add_bookmark ( self , ptr ) : if self . bookmarks_panel is not None : self . bookmarks_panel . _create_bookmark ( ptr = hex ( ptr ) )