229230231232233234235236237238239
public int toDocumentLineNumber(int y_coordinate) { throw new RuntimeException("Not Implemented"); } }); ret.update(); return ret; } /** * This method can be used to switch to a given perspective