╭ changed ──╮ │src/web.zig│ ╰───────────╯ ╭───────────╮ │← all files│ ╰───────────╯ ╭──────────╮ │← previous│ ╰──────────╯ ╭────────────────────────────────────────────────────────────────────────────────────────────╮ │1877 }, │ │1878 .text_area => { │ │1879 const ti = session.text_inputs.get(inner_id) orelse continue; │ │1880 + if (ti.options.read_only) continue; // rendered with the grid │ │1881 const inner_left = r.x + 1; │ │1882 const inner_top = r.y + 1; │ │1883 const inner_width = if (r.size.width > 2) r.size.width - 2 else 0;│ ╰────────────────────────────────────────────────────────────────────────────────────────────╯