89 |
/* remove last infobar message */ |
/* remove last infobar message */ |
90 |
case KEY_F(10): |
case KEY_F(10): |
91 |
gui_infobar_remove (); |
gui_infobar_remove (); |
92 |
|
gui_draw_buffer_infobar (gui_current_window->buffer, 1); |
93 |
break; |
break; |
94 |
/* cursor up */ |
/* cursor up */ |
95 |
case KEY_UP: |
case KEY_UP: |
667 |
{ |
{ |
668 |
gui_infobar->remaining_time--; |
gui_infobar->remaining_time--; |
669 |
if (gui_infobar->remaining_time == 0) |
if (gui_infobar->remaining_time == 0) |
670 |
|
{ |
671 |
gui_infobar_remove (); |
gui_infobar_remove (); |
672 |
|
gui_draw_buffer_infobar (gui_current_window->buffer, 1); |
673 |
|
} |
674 |
} |
} |
675 |
check_away++; |
check_away++; |
676 |
if (check_away >= CHECK_AWAY_DELAY) |
if (check_away >= CHECK_AWAY_DELAY) |