1676 |
return; |
return; |
1677 |
|
|
1678 |
gui_current_window = (window->prev_window) ? window->prev_window : last_gui_window; |
gui_current_window = (window->prev_window) ? window->prev_window : last_gui_window; |
1679 |
gui_switch_to_buffer (gui_current_window, window->buffer); |
gui_switch_to_buffer (gui_current_window, gui_current_window->buffer); |
1680 |
gui_redraw_buffer (gui_current_window->buffer); |
gui_redraw_buffer (gui_current_window->buffer); |
1681 |
} |
} |
1682 |
|
|
1695 |
return; |
return; |
1696 |
|
|
1697 |
gui_current_window = (window->next_window) ? window->next_window : gui_windows; |
gui_current_window = (window->next_window) ? window->next_window : gui_windows; |
1698 |
gui_switch_to_buffer (gui_current_window, window->buffer); |
gui_switch_to_buffer (gui_current_window, gui_current_window->buffer); |
1699 |
gui_redraw_buffer (gui_current_window->buffer); |
gui_redraw_buffer (gui_current_window->buffer); |
1700 |
} |
} |
1701 |
|
|