function labelHoverExit() {
	var view = this;
	if( view && !view.fSelected && view.fSelectableElem )
	    view.fSelectableElem.style.border = "thin solid " + view.fBackgroundColor;
    }
/**
     * event handler called when mouse leaves this view
     */
event handler called when mouse leaves this view
event handler called when mouse leaves this view
function labelHoverExit() {
	var view = this;
	if( view && !view.fSelected && view.fSelectableElem )
	    view.fSelectableElem.style.border = "thin solid " + view.fBackgroundColor;
    }
function labelHoverExit ( ) { var view = this ; if ( view && ! view . fSelected && view . fSelectableElem ) view . fSelectableElem . style . border = "thin solid " + view . fBackgroundColor ; }
event handler called when mouse leaves this view
event handler called when mouse leaves this view