Archives/gristlabs_grist-core
1
0
Fork 0
mirror of https://github.com/gristlabs/grist-core.git synced 2026-03-02 04:09:24 +00:00
Code Issues Projects Releases Wiki Activity

(core) Adding UI for timing API

Browse Source 
Summary:
Adding new buttons to control the `timing` API and a way to view the results
using virtual table features.

Test Plan: Added new

Reviewers: georgegevoian

Reviewed By: georgegevoian

Subscribers: paulfitz

Differential Revision: https://phab.getgrist.com/D4252
This commit is contained in:
Jarosław Sadziński
2024-05-21 18:27:06 +02:00
parent 60423edc17
commit a6ffa6096a
29 changed files with 858 additions and 144 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
sandbox/grist/main.py
View File

@@ -172,7 +172,7 @@ def run(sandbox):
@export
def get_timings():
return eng._timing.get()
return eng._timing.get(False)
export(parse_predicate_formula)
export(eng.load_empty)