MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-01-07 22:09:38 +07:00
Code Issues Packages Projects Releases Wiki Activity
Files
f5dbbb76e7a2314b7e989f9570c1e1b98dd375ad
openide/platform/diff-impl/src
History
Chris Lemaire b93d13d44c [diff] Enable switching between editor sides in two sided diff on scroll 
GitOrigin-RevId: f156b6c9a1e7fd0116ee0d9afa63162a0312f10e
2025-06-11 19:03:49 +00:00
..
com/intellij
[diff] Enable switching between editor sides in two sided diff on scroll
2025-06-11 19:03:49 +00:00
icons
…