Conrad Irwin
1935307b4f
Fix jumping to definition in a new file
...
This is broken because vim currently sets settings only on the active
editor. Fix this by correcting the range on the currently active editor.
It would be nice (at some point) to refactor how vim sets settings, but
that's for another day.
2023-07-27 18:10:17 -06:00
..
2023-06-28 16:46:06 -04:00
2023-07-17 12:49:59 -06:00
2023-07-04 16:18:42 -04:00
2023-06-20 16:05:20 -07:00
2023-06-20 16:05:20 -07:00
2023-07-20 16:10:20 -04:00
2023-07-07 14:19:44 -04:00
2023-07-18 12:32:53 -04:00
2023-06-07 16:10:45 -07:00
2023-07-14 21:49:15 +02:00
2023-07-20 16:21:21 -04:00
2023-03-28 20:13:17 -07:00
2023-07-14 21:49:15 +02:00
2023-07-05 09:39:04 +02:00
2023-06-28 16:46:06 -04:00
2023-06-29 17:10:51 -07:00
2023-07-14 16:09:02 -07:00
2023-06-21 15:03:08 -04:00
2023-05-08 11:42:00 -04:00
2023-07-27 18:10:17 -06:00
2023-07-17 16:10:34 -04:00
2023-07-14 21:49:15 +02:00
2023-07-23 21:36:29 -07:00
2023-04-24 17:41:55 -07:00
2023-02-27 12:06:10 -08:00
2023-05-25 14:41:09 -04:00
2023-07-05 09:39:56 +02:00
2023-07-20 14:54:55 -04:00
2023-06-25 07:51:50 -06:00
2023-04-24 17:41:55 -07:00
2023-05-20 09:54:38 -06:00
2023-07-20 16:39:13 -07:00
2023-07-14 21:49:15 +02:00
2023-07-14 14:47:12 +03:00
2023-07-19 12:34:56 -07:00
2023-04-24 17:41:55 -07:00
2023-07-17 11:43:32 +02:00
2023-06-04 23:34:22 -04:00
2023-07-14 21:49:15 +02:00
2023-07-21 16:13:00 -04:00
2023-07-14 21:49:15 +02:00
2023-07-14 21:49:15 +02:00
2023-04-24 17:41:55 -07:00
2023-06-02 22:02:19 -04:00
2023-06-02 22:02:19 -04:00
2023-07-24 11:23:32 -07:00
2023-07-24 16:35:01 -04:00
2023-07-14 21:49:15 +02:00
2023-07-14 21:49:15 +02:00
2023-06-29 22:25:49 +03:00
2023-06-29 22:39:33 +03:00
2023-07-24 15:42:10 +03:00
2023-07-04 21:11:28 +03:00
2023-04-24 17:41:55 -07:00
2023-06-02 22:02:19 -04:00
2023-04-24 17:41:55 -07:00
2023-04-24 17:41:55 -07:00
2023-06-29 22:25:50 +03:00
2023-07-23 00:12:25 +03:00
2023-07-23 00:12:25 +03:00
2023-06-30 22:03:21 +03:00
2023-07-25 11:06:41 -06:00
2023-07-14 21:49:15 +02:00
2023-06-30 09:58:13 -04:00
2023-07-14 21:49:15 +02:00
2023-07-18 14:06:57 +03:00
2023-07-25 20:18:23 -06:00
2023-07-14 21:49:15 +02:00
2023-07-25 20:18:23 -06:00
2023-06-22 18:06:52 +02:00
2023-07-25 20:18:23 -06:00
2023-06-15 22:05:43 -07:00