model_server/gra/src/graAction.h.cxx
//------------------------------------------
// unhighlight
//
// If this window has the highlight_box on any symbol,
// then remove it.
//------------------------------------------
unhighlight
If this window has the highlight_box on any symbol,
then remove it.
unhighlight If this window has the highlight_box on any symbol then remove it .
void graWindow::unhighlight()
{
    Initialize(graWindow::unhighlight);
    if(this == highlight_window)
	highlight_box(NULL);
}
void graWindow :: unhighlight ( ) { Initialize ( graWindow :: unhighlight ) ; if ( this == highlight_window ) highlight_box ( NULL ) ; }
unhighlight
If this window has the highlight_box on any symbol,
then remove it.
unhighlight If this window has the highlight_box on any symbol then remove it .