//----------- Begin of function VgaBuf::draw_d3_down_border ------------//
//
// Draw interface border.
//
void VgaBuf::draw_d3_down_border(int x1,int y1,int x2,int y2)
{
// #### begin Gilbert 19/10 #######//
/*
err_when( x1>x2 || y1>y2 || x1<0 || y1<0 || x2>=VGA_WIDTH || y2>=VGA_HEIGHT );
if( is_front )
mouse.hide_area( x1,y1,x2,y2 );
//--------- white border on top and left sides -----------//
bar_fast( x1+1,y1,x2,y1, IF_DARK_BORDER_COLOR ); // top side
bar_fast( x1,y1,x1,y2 , IF_DARK_BORDER_COLOR ); // left side
//--------- black border on bottom and right sides -----------//
bar_fast( x1+1,y2,x2,y2, IF_LIGHT_BORDER_COLOR ); // bottom side
bar_fast( x2,y1+1,x2,y2, IF_LIGHT_BORDER_COLOR ); // right side
//-------------------------------------------//
if( is_front )
mouse.show_area();
*/
d3_panel_down( x1, y1, x2, y2, 4, 0 );
// ##### end Gilbert 19/10 ######//
}
//----------- Begin of function VgaBuf::draw_d3_down_border ------------//
//
// Draw interface border.
//
void VgaBuf::draw_d3_down_border(int x1,int y1,int x2,int y2)
{
d3_panel_down( x1, y1, x2, y2, 4, 0 );
}