65     engine: Engine, span: TimeSpan, pagination: Pagination):
75         limit ${pagination.start}, ${pagination.count}`);
79       offset: pagination.start,
93     offset: pagination.start,
150   private pagination: Pagination;  property in LogsController
158     this.pagination = new Pagination(0, 0);
184     const pagination = this.app.state.logsPagination;  constant
188     if (pagination === undefined) {
192     const {offset, count} = pagination;
194     const oldPagination = this.pagination;
215       this.pagination = requestedPagination.grow(100);
217       updateLogEntries(this.engine, newSpan, this.pagination).then(data => {
218         if (!this.pagination.contains(requestedPagination)) return;