Searched refs:TimestampedAreaSelection (Results 1 – 7 of 7) sorted by relevance
19 import {Sorting, TimestampedAreaSelection} from '../../common/state';30 private previousArea: TimestampedAreaSelection = {lastUpdate: 0};36 engine: Engine, area: TimestampedAreaSelection): Promise<boolean>;
17 import {Sorting, TimestampedAreaSelection} from '../../common/state';29 engine: Engine, selectedArea: TimestampedAreaSelection) {
17 import {Sorting, TimestampedAreaSelection} from '../../common/state';27 engine: Engine, selectedArea: TimestampedAreaSelection) {
21 TimestampedAreaSelection,101 private _selectedArea: TimestampedAreaSelection = {271 get selectedArea(): TimestampedAreaSelection {
16 import {TimestampedAreaSelection} from 'src/common/state';63 private prevAreaSelection?: TimestampedAreaSelection;
32 export type TimestampedAreaSelection = Timestamped<AreaSelection>; alias132 selectedArea: TimestampedAreaSelection;
38 TimestampedAreaSelection,591 selectArea(state: StateDraft, args: TimestampedAreaSelection): void {