1 |
open GuiTypes2 |
open GuiTypes2 |
2 |
|
open Printf2 |
3 |
|
|
4 |
type f = {mutable f : button_types -> unit} |
type f = {mutable f : button_types -> unit} |
5 |
|
|
23 |
match ev with |
match ev with |
24 |
DOUBLE_CLICKED -> |
DOUBLE_CLICKED -> |
25 |
begin |
begin |
26 |
Printf.printf "tray double clicked\n"; |
lprintf "tray double clicked\n"; |
27 |
flush stdout; |
flush stdout; |
28 |
end |
end |
29 |
| RBUTTON_CLICKED -> |
| RBUTTON_CLICKED -> |
30 |
begin |
begin |
31 |
Printf.printf "tray right clicked\n"; |
lprintf "tray right clicked\n"; |
32 |
flush stdout; |
flush stdout; |
33 |
end |
end |
34 |
| _ -> () |
| _ -> () |