    class
    	EV_NOTEBOOK_TAB

    General
    	cluster: interface
    	description:
    		"Objects that represent a tab associated with a notebook item. These objects may
    		not be created directly but instead returned from a notebook via `item_tab'.
    		If `widget' is subsequently removed from `notebook', `Current' is automatically
    		destroyed and is no longer usuable."
    	create: make_with_widgets

    Ancestors
    	EV_ANY*
    	EV_PIXMAPABLE*
    	EV_SELECTABLE*
    	EV_TEXTABLE*

    Queries
    	data: ANY
    	is_destroyed: BOOLEAN
    	is_selectable: BOOLEAN
    	is_selected: BOOLEAN
    	notebook: EV_NOTEBOOK
    	pixmap: EV_PIXMAP
    	text: STRING_32
    	widget: EV_WIDGET

    Commands
    	copy (other: [like Current] EV_NOTEBOOK_TAB)
    	destroy
    	enable_select
    	remove_pixmap
    	remove_text
    	set_data (some_data: [like data] ANY)
    	set_pixmap (a_pixmap: EV_PIXMAP)
    	set_text (a_text: STRING_GENERAL)

    Constraints
    	notebook not void
    	widget not void