Function request_redraw

src/python/python_runtime.cpp:216–221

Redraw request mechanism

    // Redraw request mechanism
    void request_redraw() {
        const bool was_requested = g_redraw_requested.exchange(true, std::memory_order_acq_rel);
        g_redraw_generation.fetch_add(1, std::memory_order_acq_rel);
        if (!was_requested && g_main_loop_wake_callback)
            g_main_loop_wake_callback();
    }

    bool consume_redraw_request() {
        return g_redraw_requested.exchange(false, std::memory_order_acq_rel);