var console_8cc =
[
    [ "ztui::readline_getline", "namespaceztui.html#af54d4de5ac1706d6654ecd23c9fb15de", null ],
    [ "ztui::get_screen_width", "namespaceztui.html#aaff5be12b9b2044ba7809cc2fcafd729", null ],
    [ "ztui::clear_keyboard_buffer", "namespaceztui.html#af885530b5a1dafd0fe0857bf6c0b86ea", null ]
];