"background" , [0.9 0.9 0.9], ..
"Relief" , "groove", ..
"callback" , "quit_riemann", ..
+ "callback_type" , 10, ..
"tag" , "pushbutton_bac" ..
);
"position" , [ 150 15 100 30 ], ..
"background" , [0.9 0.9 0.9], ..
"Relief" , "groove", ..
+ "callback_type" , 10, ..
"callback" , "pause_riemann", ..
"tag" , "my_pause_button" ..
);
"position" , [ 150 15 100 30 ], ..
"background" , [0.9 0.9 0.9], ..
"callback" , "play_riemann", ..
+ "callback_type" , 10, ..
"Relief" , "groove", ..
"visible" , "off", ..
"tag" , "my_play_button" ..