Пример #1
0
 /** enlarges the graphics update box, so that it contains p_box */
 public void join_graphics_update_box(IntBox p_box) {
   if (update_box == null) {
     reset_graphics_update_box();
   }
   update_box = update_box.union(p_box);
 }