Johannes Rieken
bbbae594da
show "Accept Merge" only for files currently under conflict. ( #155822 )
...
While the merge editor shows users can handle merge conflicts outside of it, e.g on the console via `git add <FILE>`. The merge editor should have this graceful and step one is to hide the "Accept Merge" command when the file isn't conflicting anymore
* Adds a git-context key that contains all resource-uri-strings under conflict
* Enable/placement of the Accept Merge command is driven by that
* some merge editor context key sugar
2022-07-21 13:25:23 +02:00
..
2022-07-20 08:01:52 -04:00
2022-07-05 09:53:51 +02:00
2022-05-30 17:42:17 +02:00
2022-06-17 12:38:36 +02:00
2022-05-02 11:20:10 +02:00
2022-06-15 16:52:48 +02:00
2022-06-08 17:49:21 +02:00
2022-07-12 09:15:01 -07:00
2022-06-13 14:36:42 +02:00
2022-06-14 14:41:04 +02:00
2022-07-21 13:25:23 +02:00
2022-07-04 14:37:52 +00:00
2022-07-15 15:51:51 -07:00
2022-07-06 17:18:41 -07:00
2022-06-08 17:49:21 +02:00
2022-06-08 17:49:21 +02:00
2022-07-21 13:19:01 +02:00
2022-07-21 13:19:01 +02:00
2022-07-06 17:18:41 -07:00
2022-07-15 12:24:40 +00:00
2022-06-08 17:49:21 +02:00
2022-06-08 17:49:21 +02:00
2022-06-07 09:37:14 -07:00
2022-06-17 14:31:03 +00:00
2022-07-12 09:59:33 +02:00
2022-07-05 09:53:51 +02:00
2022-07-05 09:53:51 +02:00
2022-07-11 12:14:40 +02:00
2022-06-15 00:01:37 +00:00
2022-07-21 11:48:30 +02:00
2022-07-06 17:18:41 -07:00
2022-07-06 17:18:41 -07:00
2022-07-06 17:18:41 -07:00
2022-07-12 11:27:47 -07:00
2022-07-06 10:57:16 -07:00
2022-06-10 13:55:11 +00:00
2022-05-21 00:18:25 +00:00
2022-06-08 17:49:21 +02:00
2022-06-27 15:26:49 +02:00
2022-05-30 15:43:12 +02:00
2022-06-08 17:49:21 +02:00
2022-07-06 17:18:41 -07:00
2022-07-05 09:53:51 +02:00
2022-06-22 12:24:49 -07:00
2022-06-29 21:40:21 +02:00
2022-06-23 06:05:06 -07:00
2022-06-08 14:15:32 +02:00
2022-06-29 01:59:31 +08:00
2022-07-06 17:18:41 -07:00
2022-07-21 12:47:23 +02:00
2022-07-12 13:11:36 +02:00
2022-06-13 13:51:10 -07:00
2022-06-08 17:49:21 +02:00
2022-05-13 10:22:33 +02:00
2022-06-03 20:08:35 +00:00
2022-07-14 18:55:38 +00:00
2022-06-03 20:08:35 +00:00