MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-01-11 11:36:59 +07:00
Code Issues Packages Projects Releases Wiki Activity
386,073 Commits 16 Branches 7 Tags
d572da2539b9592429f8921e3945a5f9342ca163
Commit Graph

3 Commits

Author SHA1 Message Date
Alexandr Suhinin
305a4a4c95 IDEA-298317: don't highlight null as dominated 
GitOrigin-RevId: e1bd7a6fdaa683b652295866bfd68fa305748d8c
 2022-07-28 08:26:17 +00:00
Alexandr Suhinin
32f72c122c fix: broken recursive call 
GitOrigin-RevId: 15ed2adedae203bf2c1dbb2170f45b49c361a2ce
 2022-07-21 11:01:14 +00:00
Alexandr Suhinin
544ebb9855 IDEA-297404: fix domination highlighting for DeconstructionPattern 
GitOrigin-RevId: 67bebc00df3c4d6864d835c30865e1384ae5be62
 2022-07-20 19:59:24 +00:00