import { timer_pause } from "https://deno.land/x/denops_std@v3.11.3/function/mod.ts";
Pause or unpause a timer. A paused timer does not invoke its callback when its time expires. Unpausing a timer may cause the callback to be invoked almost immediately if enough time has passed. Pausing a timer is useful to avoid the callback to be called for a short time. If {paused} evaluates to a non-zero Number or a non-empty String, then the timer is paused, otherwise it is unpaused. See |non-zero-arg|. Can also be used as a |method|: GetTimer()->timer_pause(1) {only available when compiled with the |+timers| feature}