MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-07-31 06:43:38 +07:00
Code Issues Packages Projects Releases Wiki Activity
127,305 Commits 31 Branches 8 Tags
4935bbc9ee991217b4937f4e80fae82a64e01caa
Commit Graph
3 Commits
Author SHA1 Message Date
Anna Kozlova 06d6ad7180 static in interfaces before 1.8 (IDEA-123252) 2014-04-01 17:04:14 +02:00
Anna Kozlova c2bee641c0 restore error on diamonds under 1.6 (IDEA-121377) 2014-02-28 20:07:10 +01:00
Alexey Kudravtsev ad661d92e4 correct level in highlighting: 
highlight element X only when visiting X or its ascendant
 2014-02-10 20:03:58 +04:00