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