Merge branch 'main' into feature/bots

This commit is contained in:
Jason Song
2023-01-10 15:18:48 +08:00
committed by GitHub
7 changed files with 150 additions and 25 deletions

View File

@ -24,6 +24,7 @@ export function initStopwatch() {
trigger: 'click',
maxWidth: 'none',
interactive: true,
hideOnClick: true,
});
// global stop watch (in the head_navbar), it should always work in any case either the EventSource or the PeriodicPoller is used.