1 2 3 4 5 6 7
request destroy (destructor) { } request get_timer { id: id(wp_commit_timer_v1) (new), surface: id(wl_surface), }