method on_double_click (d:'a) = ()