wundo_size


Description:

public int wundo_size ()