mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-13 09:19:13 +07:00
highlighting of overriding methods: reorder warnings (IDEA-199315)
This commit is contained in:
+1
-1
@@ -1,6 +1,6 @@
|
||||
|
||||
interface ConflictWithObject {
|
||||
<error descr="'notify()' cannot override 'notify()' in 'java.lang.Object'; overridden method is final">public void notify()</error>;
|
||||
<error descr="'notify()' cannot override 'notify()' in 'java.lang.Object'; overridden method is final">public Object notify()</error>;
|
||||
}
|
||||
|
||||
//--override final-------------------------------------------------------------------------
|
||||
|
||||
Reference in New Issue
Block a user