()
| 14 | } |
| 15 | |
| 16 | export function close_input() { |
| 17 | has_input = false; |
| 18 | if (input_panel.hasClass('fixed')) { |
| 19 | input_panel.removeClass('fixed'); |
| 20 | } |
| 21 | input_panel.height('unset'); |
| 22 | end_space.height(0); |
| 23 | } |
| 24 | |
| 25 | |
| 26 | function input_min_fixed_height() { // 返回当前的输入panel的最小高度 |
no outgoing calls
no test coverage detected
searching dependent graphs…