method private blink_this_number_of_times times =
  if times = 0 then
    self#set(!default)
  else begin
    self#toggle;
    ignore (GMain.Timeout.add
              (blink_duration / blink_toggles_no)
              (fun () -> self#blink_this_number_of_times (times - 1); false));
  end