// A flat wall with hole for a button
// 
//  Assumes defined
//
//    button_hole
//    button_frame
//
//    button_wall_texture
//    button_frame_texture
//
//  Defines
//
//    button_wall_hole_frame

#declare button_wall_hole_frame = 
  merge{
    difference{
      plane{ <0,1,0>, 0 }
      button_hole
      texture{ button_wall_texture }
    }
    object{ button_frame 
      texture{ button_frame_texture }
    }
  }