package miaou-core

  1. Overview
  2. Docs
Miaou core/widgets (no drivers, no SDL)

Install 

dune-project
 Dependency

github.com Edit opam file Versions (1)

Authors

  1. N
    Nomadic Labs <contact@nomadic-labs.com>

Maintainers

  1. N
    Nomadic Labs <contact@nomadic-labs.com>

Sources

v0.5.2.tar.gz
md5=60a3b9f181f24572a06a9492532bfdda
sha512=fcc35a275066be2900e6201782faf47503076fa4640f08cf78067835a6f447b74613009e55b2ac799adb7ca46f1bffa261fc5971753f2cc3c6bef327511c7ef6

doc/src/miaou-core.driver-common/pager_notify.ml.html

Source file pager_notify.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
(*****************************************************************************)
(*                                                                           *)
(* SPDX-License-Identifier: MIT                                              *)
(* Copyright (c) 2025 Nomadic Labs <contact@nomadic-labs.com>                *)
(*                                                                           *)
(*****************************************************************************)

type t = {
  last_notify : float Atomic.t; (* Timestamp of last notification *)
  debounce_s : float; (* Minimum time between refreshes *)
}

let create ?(debounce_s = 0.08) () = {last_notify = Atomic.make 0.0; debounce_s}

let notify t = Atomic.set t.last_notify (Unix.gettimeofday ())

let should_refresh t =
  let last = Atomic.get t.last_notify in
  if last = 0.0 then false (* No pending notification *)
  else
    let now = Unix.gettimeofday () in
    now -. last >= t.debounce_s

let mark_refreshed t = Atomic.set t.last_notify 0.0

let get_debounce t = t.debounce_s