Function update_key_modifiers

libraries/lib-app-base/src/gl-imgui.cpp:200–206

    }

    static void update_key_modifiers(ImGuiIO & io, int mods)
    {
        io.AddKeyEvent(ImGuiMod_Ctrl, (mods & GLFW_MOD_CONTROL) != 0);
        io.AddKeyEvent(ImGuiMod_Shift, (mods & GLFW_MOD_SHIFT) != 0);
        io.AddKeyEvent(ImGuiMod_Alt, (mods & GLFW_MOD_ALT) != 0);
        io.AddKeyEvent(ImGuiMod_Super, (mods & GLFW_MOD_SUPER) != 0);
    }

    void imgui_instance::update_input(const polymer::app_input_event & e)
    {