Lines Matching full:globals
21 import {globals} from './globals';
31 globals.queryResults.delete(QUERY_ID);
32 globals.dispatch(Actions.deleteQuery({queryId: QUERY_ID}));
49 globals.rafScheduler.scheduleFullRedraw();
56 globals.rafScheduler.scheduleFullRedraw();
61 globals.rafScheduler.scheduleFullRedraw();
76 globals.rafScheduler.scheduleFullRedraw();
81 globals.rafScheduler.scheduleFullRedraw();
87 globals.dispatch(
91 globals.dispatch(Actions.executeQuery(
106 const msgTTL = globals.state.status.timestamp + 1 - Date.now() / 1e3;
108 for (const engine of Object.values(globals.state.engines)) {
114 () => globals.rafScheduler.scheduleFullRedraw(), msgTTL * 1000);
117 m(`input[placeholder=${globals.state.status.msg}][readonly]`, {
124 const resp = globals.queryResults.get(QUERY_ID) as QueryResponse;
151 const engine: EngineConfig = globals.state.engines['0'];
152 if (globals.state.queries[QUERY_ID] !== undefined ||