Method push_char

native/shared/src/input.rs:177–184

Push a Unicode codepoint into the character input queue. Called by platform event loops when a key-down event produces a printable char.

(&mut self, c: u32)

    /// Push a Unicode codepoint into the character input queue. Called by
    /// platform event loops when a key-down event produces a printable char.
    pub fn push_char(&mut self, c: u32) {
        let next = (self.char_queue_head + 1) % self.char_queue.len();
        if next != self.char_queue_tail {
            self.char_queue[self.char_queue_head] = c;
            self.char_queue_head = next;
        }
        // If the queue is full, silently drop the character.
    }

    /// Pop the next queued character. Returns 0 when the queue is empty.
    /// Called once per frame by the editor's text-input widget.