mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-25 10:51:06 +07:00
11 lines
194 B
Java
11 lines
194 B
Java
interface Editor {}
|
|
interface EditorEx extends Editor {
|
|
MarkupModelEx getMarkupModel();
|
|
}
|
|
interface MarkupModelEx {}
|
|
|
|
class Test {
|
|
void m(Editor editor) {
|
|
MarkupModelEx m = <caret>
|
|
}
|
|
} |