Jean-Marc Lasgouttes 6f8298b165 Set language to OS input language when moving cursor
Instead of setting language from context when moving the cursor, set
it to the OS input language. This behavior will probably need to be
controlled by a preference, since not everybody changes keyboard
mapping when changing language.

This required to move BufferView::setCursorLanguage to
Cursor::setLanguageFromInput().
2019-07-19 11:52:03 +02:00
..
2019-07-18 17:04:18 +02:00
2019-07-13 00:24:21 +02:00
2017-07-03 13:46:30 -04:00
2018-08-14 17:05:40 +02:00
2019-07-17 23:23:13 +02:00
2019-07-14 11:41:36 +02:00
2019-07-14 11:41:36 +02:00
2018-12-06 10:30:58 +01:00
2018-02-18 09:19:03 +01:00
2016-05-29 17:55:45 -04:00
2018-02-23 23:17:57 -05:00
2018-02-23 23:38:31 -05:00
2017-07-03 13:46:30 -04:00
2017-10-16 10:12:21 +02:00
2017-07-03 13:46:30 -04:00
2017-07-03 13:46:30 -04:00
2015-11-20 22:43:45 +01:00
2017-07-03 13:46:30 -04:00
2015-10-10 21:38:17 +02:00
2018-12-17 15:33:47 +01:00
2017-07-03 13:46:30 -04:00
2018-01-30 12:11:22 +01:00
2017-03-01 16:34:01 +01:00
2018-02-24 00:30:24 -05:00
2017-07-03 13:46:30 -04:00
2018-12-14 11:41:16 +01:00
2018-04-20 23:37:58 -04:00
2017-07-03 13:46:30 -04:00
2018-02-23 23:47:05 -05:00
2017-07-03 13:46:30 -04:00
2018-05-28 12:33:17 +02:00
2018-05-28 12:33:17 +02:00
2019-07-17 23:23:13 +02:00
2019-07-06 15:15:06 +02:00
2019-07-17 21:16:05 +02:00
2019-07-18 08:15:00 +02:00
2019-06-02 18:07:10 +02:00
2019-06-02 18:07:10 +02:00
2017-07-03 13:46:30 -04:00
2018-01-28 23:37:20 -05:00
2017-07-03 13:46:30 -04:00
2019-03-21 12:58:16 +01:00
2019-05-14 16:39:35 +02:00
2017-07-03 13:46:30 -04:00
2019-07-18 17:05:44 +02:00
2015-12-05 19:33:24 +00:00
2017-11-11 13:24:08 +01:00
2017-07-03 13:46:30 -04:00
2018-09-20 11:58:08 +02:00
2018-08-07 17:56:07 +02:00
2017-08-03 13:07:41 +02:00
2016-07-31 18:34:33 +01:00
2017-07-03 13:46:30 -04:00
2019-06-12 15:03:18 +02:00
2018-12-06 10:30:58 +01:00
2019-06-02 18:07:10 +02:00
2019-07-08 15:40:17 +02:00
2019-07-08 15:40:17 +02:00
2019-03-12 16:03:22 +01:00
2019-05-27 22:35:02 -04:00
2019-05-27 22:35:02 -04:00
2017-01-09 23:15:16 +01:00
2017-01-09 23:15:16 +01:00
2018-02-24 00:28:37 -05:00
2015-10-10 21:04:28 +02:00
2019-06-02 21:17:26 +02:00
2019-06-02 21:17:26 +02:00
2018-05-02 12:38:40 +02:00
2017-07-03 13:46:30 -04:00
2019-07-17 18:02:22 +02:00
2016-12-31 15:29:43 +01:00