From 1724109a82d177705fea500a0bd29fc6a78d8564 Mon Sep 17 00:00:00 2001 From: Tom Gillespie Date: Wed, 13 Dec 2023 12:34:23 -0800 Subject: [PATCH] viewer add button for prod pipeline status to power user --- sparcur_internal/sparcur/viewer.rkt | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/sparcur_internal/sparcur/viewer.rkt b/sparcur_internal/sparcur/viewer.rkt index 2c2837ea..7370bd5d 100644 --- a/sparcur_internal/sparcur/viewer.rkt +++ b/sparcur_internal/sparcur/viewer.rkt @@ -1981,6 +1981,18 @@ switch to that" [callback cb-open-dataset-remote] [parent panel-power-user])) +(define button-open-dataset-pipeline-status + (new (tooltip-mixin button%) + [label "PPS"] + [tooltip "Production Pipeline Status"] + [tooltip-delay 100] + [callback + (λ (o e) + (xopen-path + (string-append "https://cassava.ucsd.edu/sparc/pipelines/status/" (id-uuid (current-dataset)))))] + [parent panel-power-user] + )) + (define button-open-export-json (new (tooltip-mixin button%) [label "JSON"] [tooltip "Shortcut C-j"]