close_tab


Description:

public void close_tab (Tab tab)

Closes the tab.

Parameters:

this

a Window

tab

the Tab to close