model_server/gra/src/graAction.h.cxx
//------------------------------------------
// highlight_box
//
// Change the location of the highlighting box.
// 
// This is a private function that is used only by highlight and
// unhighlight.
//------------------------------------------
highlight_box
Change the location of the highlighting box.

This is a private function that is used only by highlight and
unhighlight.
highlight_box Change the location of the highlighting box . This is a private function that is used only by highlight and unhighlight .
void graWindow::highlight_box(graParametricSymbol* symbol)
{
    Initialize(graWindow::highlight_box);
    if(xor_box == NULL)	
    {
	xor_box = new rubberGraphic(output, canvas);
	if(xor_box == NULL)
	    Return		
    }
    else
	xor_box->Erase();
    if(symbol)
    {
        highlight_symbol = symbol;
	symbol->do_highlight(canvas, xor_box);
	highlight_window = this;
    }
    else {
        if (highlight_symbol)
            highlight_symbol->undo_highlight(canvas);
	highlight_symbol = NULL;
	highlight_window = NULL;
    }
}
void graWindow :: highlight_box ( graParametricSymbol * symbol ) { Initialize ( graWindow :: highlight_box ) ; if ( xor_box == NULL ) { xor_box = new rubberGraphic ( output , canvas ) ; if ( xor_box == NULL ) Return } else xor_box -> Erase ( ) ; if ( symbol ) { highlight_symbol = symbol ; symbol -> do_highlight ( canvas , xor_box ) ; highlight_window = this ; } else { if ( highlight_symbol ) highlight_symbol -> undo_highlight ( canvas ) ; highlight_symbol = NULL ; highlight_window = NULL ; } }
highlight_box
Change the location of the highlighting box.
highlight_box Change the location of the highlighting box .
// Create xor_box the first time we need it. // allocation failed!