- if ( white_pen == 0 )
- {
- white_pen = new wxPen;
- white_pen->SetColour( "WHITE" );
- }
- if ( dark_grey_pen == 0 )
- {
- dark_grey_pen = new wxPen;
- dark_grey_pen->SetColour( 85,85,85 );
- }
- if ( black_pen == 0 )
- {
- black_pen = new wxPen;
- black_pen->SetColour( "BLACK" );
- }
- if ( thick_black_pen == 0 )
- {
- thick_black_pen = new wxPen("BLACK", 3, wxSOLID);
- }