MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-04-24 15:31:26 +07:00
Code Issues Packages Projects Releases Wiki Activity
411,814 Commits 22 Branches 8 Tags
ab14666e4eae8e90cd4a0b82238c03fcb4537b93
Commit Graph

2 Commits

Author SHA1 Message Date
Mikhail Pyltsin
ab14666e4e [java-highlighting] 'case default' is the incorrect syntax, and it was replaced with the proper 'default' syntax. 
GitOrigin-RevId: 72f8e7f6c9080db7cb0b89c0ed876eb949171e8f
 2023-07-14 16:14:45 +00:00
Alexandr Suhinin
5a1a3450b4 IDEA-274822 [convert switch to if] fix: avoid calls to PsiSwitchLabelStatementBase.isDefaultCase 
GitOrigin-RevId: e72998a2f37c21d4c78096da3c45d56f1d7fd2aa
 2021-08-03 06:43:20 +00:00