mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-05-06 13:20:53 +07:00
11 lines
181 B
Java
11 lines
181 B
Java
interface Editor {}
|
|
interface EditorEx extends Editor {
|
|
MarkupModelEx getMarkupModel();
|
|
}
|
|
interface MarkupModelEx {}
|
|
|
|
class Test {
|
|
void m() {
|
|
MarkupModelEx m = <caret>
|
|
}
|
|
} |