Eli Zaretskii
71a7294d0a
Support a separate face for displaying the current line's number
...
* lisp/faces.el (line-number-current-line): New face.
* src/xdisp.c (syms_of_xdisp) <line-number-current-line>: New
symbol.
(try_window_id, try_cursor_movement): Disable these optimizations
when the line-number-current-line face is different from
line-number face.
(maybe_produce_line_number): Display the current line in the
line-number-current-line face, if it's different from line-number.
2017-06-24 15:45:23 +03:00
..
2017-05-18 14:47:06 +09:00
2017-05-29 20:26:49 +02:00
2017-04-28 11:25:26 +03:00
2017-06-13 07:19:12 -04:00
2017-05-07 13:22:34 +02:00
2017-06-05 20:33:55 -04:00
2017-06-12 10:01:25 +02:00
2017-06-14 05:35:39 +00:00
2017-01-01 01:10:47 -08:00
2017-06-05 21:08:07 -04:00
2017-05-07 13:22:34 +02:00
2017-05-07 13:22:34 +02:00
2017-06-05 21:08:07 -04:00
2017-05-30 08:29:34 -07:00
2017-06-14 14:17:22 +02:00
2017-05-07 13:22:34 +02:00
2017-06-05 21:08:07 -04:00
2017-06-07 15:55:33 -04:00
2017-04-08 11:36:56 -04:00
2017-06-15 21:03:03 +00:00
2017-05-04 20:32:40 +02:00
2017-06-11 19:32:17 +02:00
2017-06-07 16:17:47 +02:00
2017-06-06 15:08:41 -04:00
2017-03-02 19:01:18 -05:00
2017-04-08 11:36:56 -04:00
2016-12-31 19:42:26 -08:00
2017-04-28 11:25:26 +03:00
2016-12-31 19:42:26 -08:00
2017-01-01 01:10:47 -08:00
2016-12-31 19:42:26 -08:00
2016-12-31 19:42:26 -08:00
2017-05-02 16:59:51 -04:00
2017-04-28 08:21:39 -04:00
2016-12-31 19:42:26 -08:00
2017-04-05 15:53:38 -06:00
2017-01-01 01:10:47 -08:00
2016-12-31 19:42:26 -08:00
2017-01-29 19:34:35 +01:00
2017-06-13 14:31:53 +09:00
2017-02-12 17:21:06 -06:00
2017-06-05 21:08:07 -04:00
2017-02-12 20:02:26 -05:00
2017-05-29 01:00:05 +01:00
2017-01-01 01:10:47 -08:00
2016-12-31 19:42:26 -08:00
2017-06-05 20:35:17 -04:00
2016-12-31 19:42:26 -08:00
2016-12-31 19:42:26 -08:00
2016-12-31 19:42:26 -08:00
2016-12-31 19:42:26 -08:00
2016-12-31 19:42:26 -08:00
2016-12-31 19:42:26 -08:00
2016-12-31 19:42:26 -08:00
2016-12-31 19:42:26 -08:00
2016-12-31 19:42:26 -08:00
2016-12-31 19:42:26 -08:00
2016-12-31 19:42:26 -08:00
2017-06-05 20:33:55 -04:00
2017-05-06 18:38:18 -07:00
2017-05-06 18:38:18 -07:00
2017-06-07 14:27:21 -04:00
2017-06-07 14:27:21 -04:00
2017-05-06 18:30:14 -07:00
2016-12-31 19:42:26 -08:00
2016-12-31 19:42:26 -08:00
2016-12-31 19:42:26 -08:00
2017-03-03 16:05:02 +02:00
2017-04-28 16:17:27 -04:00
2016-12-31 19:42:26 -08:00
2017-01-01 01:10:47 -08:00
2017-03-07 13:49:48 +00:00
2017-04-13 20:17:08 -04:00
2016-12-31 19:42:26 -08:00
2017-06-24 14:53:35 +03:00
2017-02-12 10:59:33 -05:00
2017-02-21 15:11:56 -05:00
2017-06-05 21:08:07 -04:00
2017-01-01 01:10:47 -08:00
2016-12-31 19:42:26 -08:00
2017-02-08 22:38:39 +01:00
2017-06-05 00:08:43 -04:00
2016-12-31 19:42:26 -08:00
2017-04-16 23:37:29 -07:00
2017-03-31 17:27:08 +09:00
2017-06-10 11:22:50 +03:00
2016-12-31 19:42:26 -08:00
2016-12-31 19:42:26 -08:00
2016-12-31 19:42:26 -08:00
2017-04-18 19:07:28 -04:00
2017-01-01 01:10:47 -08:00
2017-06-05 21:08:07 -04:00
2016-12-31 19:42:26 -08:00
2016-12-31 19:42:26 -08:00
2016-12-31 19:42:26 -08:00
2016-12-31 19:42:26 -08:00
2017-01-01 01:10:47 -08:00
2016-12-31 19:42:26 -08:00
2017-01-01 01:10:47 -08:00
2016-12-31 19:42:26 -08:00
2016-12-31 19:42:26 -08:00
2017-01-01 01:10:47 -08:00
2017-01-01 01:10:47 -08:00
2016-12-31 19:42:26 -08:00
2016-12-31 19:42:26 -08:00
2016-12-31 19:42:26 -08:00
2016-12-31 19:42:26 -08:00
2017-05-08 23:28:32 -04:00
2016-12-31 19:42:26 -08:00
2016-12-31 19:42:26 -08:00
2017-03-10 15:14:33 -05:00
2017-03-11 17:22:56 -08:00
2017-01-01 01:10:47 -08:00
2017-06-05 21:08:07 -04:00
2016-12-31 19:42:26 -08:00
2016-12-31 19:42:26 -08:00
2016-12-31 19:42:26 -08:00
2017-06-24 15:45:23 +03:00
2017-04-22 18:33:38 +02:00
2016-12-31 19:42:26 -08:00
2017-05-01 12:16:15 +02:00
2017-04-02 11:02:54 +02:00
2017-05-06 23:23:45 +02:00
2016-12-31 19:42:26 -08:00
2016-12-31 19:42:26 -08:00
2017-01-01 01:10:47 -08:00
2017-05-21 17:43:02 -04:00
2016-12-31 19:42:26 -08:00
2017-03-07 13:49:48 +00:00
2016-12-31 19:42:26 -08:00
2016-12-31 19:42:26 -08:00
2017-05-20 19:13:57 -04:00
2016-12-31 19:42:26 -08:00
2017-01-01 01:10:47 -08:00
2016-12-31 19:42:26 -08:00
2016-12-31 19:42:26 -08:00
2016-12-31 19:42:26 -08:00
2017-06-24 12:37:30 +03:00
2017-04-12 10:38:25 +02:00
2016-12-31 19:42:26 -08:00
2017-01-01 01:10:47 -08:00
2016-12-31 19:42:26 -08:00
2017-04-16 10:01:09 +00:00
2016-12-31 19:42:26 -08:00
2017-01-23 19:00:49 +00:00
2017-05-20 15:32:52 +02:00
2017-01-01 01:10:47 -08:00
2017-04-28 11:25:26 +03:00
2017-01-01 01:10:47 -08:00
2017-04-27 12:01:19 +09:00
2017-01-01 01:10:47 -08:00
2016-12-31 19:42:26 -08:00
2017-01-28 20:49:19 +01:00
2017-01-27 18:37:58 +01:00
2017-02-09 18:14:10 +09:00
2017-02-09 18:14:10 +09:00
2017-03-30 20:19:50 -04:00
2017-06-14 07:03:05 -04:00
2017-05-20 21:54:02 -04:00
2016-12-31 19:42:26 -08:00
2017-06-05 21:08:07 -04:00
2017-02-12 10:59:33 -05:00
2016-12-31 19:42:26 -08:00
2017-01-01 01:10:47 -08:00
2017-01-01 01:10:47 -08:00
2017-04-13 11:44:17 +02:00
2017-05-15 22:58:24 -04:00
2017-04-18 19:07:28 -04:00
2017-01-01 01:10:47 -08:00
2017-04-19 20:43:41 -04:00
2016-12-31 19:42:26 -08:00
2017-06-01 17:56:14 -04:00
2016-12-31 19:42:26 -08:00
2017-01-01 01:10:47 -08:00
2017-01-01 01:10:47 -08:00
2017-05-08 23:28:32 -04:00
2017-05-21 23:03:01 +02:00
2016-12-31 19:42:26 -08:00
2017-01-01 01:10:47 -08:00
2017-06-01 06:26:41 -04:00
2017-06-04 19:27:13 +03:00
2016-12-31 19:42:26 -08:00
2017-04-26 12:51:48 -04:00
2016-12-31 19:42:26 -08:00
2017-01-01 01:10:47 -08:00
2017-01-01 01:10:47 -08:00
2017-02-21 21:44:54 -05:00
2017-05-30 09:28:19 -07:00
2016-12-31 19:42:26 -08:00
2017-03-27 11:30:08 -07:00
2016-12-31 19:42:26 -08:00
2017-01-04 22:31:26 -05:00
2017-01-03 18:34:13 -05:00
2017-06-17 17:42:44 +03:00
2017-01-01 01:10:47 -08:00
2016-12-31 19:42:26 -08:00
2017-04-19 20:43:41 -04:00
2017-01-01 01:10:47 -08:00
2016-12-31 19:42:26 -08:00
2016-12-31 19:42:26 -08:00
2016-12-31 19:42:26 -08:00
2017-05-27 14:57:11 +03:00
2017-04-27 00:04:54 -04:00
2016-12-31 19:42:26 -08:00
2017-04-12 18:22:44 +02:00
2017-02-14 22:29:56 -05:00
2016-12-31 19:42:26 -08:00
2016-12-31 19:42:26 -08:00
2017-03-18 12:29:12 -04:00
2017-01-01 01:10:47 -08:00
2017-03-19 12:34:04 -07:00
2016-12-31 19:42:26 -08:00
2016-12-31 19:42:26 -08:00
2017-01-01 01:10:47 -08:00
2016-12-31 19:42:26 -08:00
2016-12-31 19:42:26 -08:00
2016-12-31 19:42:26 -08:00
2016-12-31 19:42:26 -08:00
2016-12-31 19:42:26 -08:00
2017-05-13 20:25:39 +03:00
2017-01-01 01:10:47 -08:00
2017-01-01 01:10:47 -08:00
2017-01-01 01:10:47 -08:00
2017-04-19 16:32:04 -04:00
2016-12-31 19:42:26 -08:00
2017-01-01 01:10:47 -08:00
2017-01-01 01:10:47 -08:00
2017-01-04 14:21:38 -05:00
2016-12-31 19:42:26 -08:00
2017-05-31 20:32:31 +02:00
2017-02-18 11:32:45 +02:00
2016-12-31 19:42:26 -08:00
2017-01-01 01:10:47 -08:00
2016-12-31 19:42:26 -08:00
2017-05-19 11:12:51 +03:00
2016-12-31 19:42:26 -08:00
2016-12-31 19:42:26 -08:00
2016-12-31 19:42:26 -08:00
2017-01-01 01:10:47 -08:00
2017-01-01 01:10:47 -08:00
2017-05-27 16:25:02 +03:00
2016-12-31 19:42:26 -08:00
2016-12-31 19:42:26 -08:00
2016-12-31 19:42:26 -08:00
2016-12-31 19:42:26 -08:00
2017-04-12 18:22:44 +02:00
2016-12-31 19:42:26 -08:00
2017-01-06 15:23:17 +02:00
2017-02-12 11:51:19 -05:00
2017-04-28 11:25:26 +03:00
2016-12-31 19:42:26 -08:00
2017-04-10 10:21:44 +02:00
2017-06-06 01:04:17 +03:00
2017-05-07 13:22:34 +02:00
2017-01-01 01:10:47 -08:00
2016-12-31 19:42:26 -08:00
2016-12-31 19:42:26 -08:00
2017-02-20 18:08:48 -08:00
2016-12-31 19:42:26 -08:00
2017-06-05 18:57:32 -04:00
2017-05-20 17:14:36 -07:00
2016-12-31 19:42:26 -08:00
2016-12-31 19:42:26 -08:00
2016-12-31 19:42:26 -08:00
2017-01-01 16:36:23 -05:00
2016-12-31 19:42:26 -08:00
2017-01-27 11:26:36 +02:00
2017-01-01 01:10:47 -08:00
2016-12-31 19:42:26 -08:00
2017-02-12 17:44:46 -08:00
2017-01-01 01:10:47 -08:00
2016-12-31 19:42:26 -08:00
2017-06-02 20:00:49 -04:00
2016-12-31 19:42:26 -08:00
2016-12-31 19:42:26 -08:00
2016-12-31 19:42:26 -08:00
2016-12-31 19:42:26 -08:00
2017-04-12 23:14:20 +03:00
2016-12-31 19:42:26 -08:00
2017-04-14 21:18:07 -04:00
2016-12-31 19:42:26 -08:00
2017-02-17 20:15:21 -05:00
2017-06-05 21:08:07 -04:00
2016-12-31 19:42:26 -08:00
2016-12-31 19:42:26 -08:00
2017-01-01 01:10:47 -08:00
2016-12-31 19:42:26 -08:00
2017-01-01 01:10:47 -08:00
2017-05-19 15:20:59 +03:00
2016-12-31 19:42:26 -08:00
2017-01-01 01:10:47 -08:00
2017-01-01 01:10:47 -08:00
2016-12-31 19:42:26 -08:00
2017-04-15 16:16:26 +02:00
2016-12-31 19:42:26 -08:00
2017-05-07 13:22:34 +02:00
2016-12-31 19:42:26 -08:00
2017-02-12 20:31:38 -05:00
2017-04-17 17:17:00 +02:00
2017-01-01 01:10:47 -08:00
2017-01-01 01:10:47 -08:00