Function move_input_panel

webiojs/src/ui.ts:64–73

(step: number)

function move_input_panel(step: number) {
    let new_height = input_panel.height() + step;
    if (new_height >= input_cards.height())
        new_height = input_cards.height();
    else if (new_height <= input_min_fixed_height() - 80)   //80 = #input-container.fixed padding-top + padding-bottom
        new_height = input_min_fixed_height() - 80;

    input_panel.height(new_height);
    end_space.height(new_height - 40); // 40 =  #input-container.fixed padding-top
}


$(function () {