()
| 34 | |
| 35 | |
| 36 | function fixed_input_init_height() { // 返回当前的输入panel的初始高度 |
| 37 | const init_fixed_height = Math.max(state.InputPanelInitHeight, 175); |
| 38 | |
| 39 | //80 = #input-container.fixed padding-top + padding-bottom |
| 40 | let now_height = input_cards.height() + 80; |
| 41 | |
| 42 | return Math.min(now_height, init_fixed_height); |
| 43 | } |
| 44 | |
| 45 | |
| 46 | function toggle_input_panel_style(fixed: boolean) { |
no outgoing calls
no test coverage detected
searching dependent graphs…