From 2fd326f55cdd6cc0cc4111f28ef8d93487716b60 Mon Sep 17 00:00:00 2001 From: demvlad Date: Tue, 14 May 2024 14:24:05 +0300 Subject: [PATCH 1/4] added menu (showed by Shift+W keys) to select and restore default workspaces --- index.html | 13 +- src/main.js | 12 +- src/workspace_menu.js | 52 + src/ws_ctzsnooze.json | 3544 +++++++++++++++++++++++++++++++++++++++++ src/ws_supafly.json | 1591 ++++++++++++++++++ 5 files changed, 5209 insertions(+), 3 deletions(-) create mode 100644 src/workspace_menu.js create mode 100644 src/ws_ctzsnooze.json create mode 100644 src/ws_supafly.json diff --git a/index.html b/index.html index 7b1e133d..1f148723 100644 --- a/index.html +++ b/index.html @@ -437,6 +437,11 @@

Log sync

  • Workspace

    +
    +
    + +
    +
  • @@ -2517,6 +2522,13 @@
    Recall workspace/favourite stored in keys 0 through 9. Very fast graph configuration swapping useful for comparing traces.
    +
  • + +
    Shift
    +
    W
    +
    +
    Show the menu to load default workspace
    +