@Override public void run() { if (editor instanceof JavaEditor) { JavaEditor javaEditor= (JavaEditor) editor; javaEditor.resetProjection(); } } };
@Override public void run() { if (editor instanceof JavaEditor) { JavaEditor javaEditor= (JavaEditor) editor; javaEditor.resetProjection(); } } };
public void run() { if (editor instanceof JavaEditor) { JavaEditor javaEditor= (JavaEditor) editor; javaEditor.resetProjection(); } } };