version 1.16, 2010/05/23 19:42:19 |
version 1.17, 2010/12/29 21:49:06 |
|
|
screen_init(s, screen_size_x(&wp->base), screen_size_y(&wp->base), 0); |
screen_init(s, screen_size_x(&wp->base), screen_size_y(&wp->base), 0); |
s->mode &= ~MODE_CURSOR; |
s->mode &= ~MODE_CURSOR; |
if (options_get_number(&wp->window->options, "mode-mouse")) |
if (options_get_number(&wp->window->options, "mode-mouse")) |
s->mode |= MODE_MOUSE; |
s->mode |= MODE_MOUSE_STANDARD; |
|
|
keys = options_get_number(&wp->window->options, "mode-keys"); |
keys = options_get_number(&wp->window->options, "mode-keys"); |
if (keys == MODEKEY_EMACS) |
if (keys == MODEKEY_EMACS) |