From cca1b440969b0284ebb95e06556128c2828046f1 Mon Sep 17 00:00:00 2001 From: Viktor Kovacs Date: Thu, 10 Jun 2021 07:38:15 +0200 Subject: [PATCH] Rename menu to navigator. --- tools/config.json | 2 +- website/embed.html | 2 +- website/index.html | 6 +-- website/o3dv/{menu.js => navigator.js} | 8 ++-- website/o3dv/treeview.js | 18 ++++---- website/o3dv/website.css | 64 +++++++++++++------------- website/o3dv/website.js | 34 +++++++------- 7 files changed, 67 insertions(+), 67 deletions(-) rename website/o3dv/{menu.js => navigator.js} (95%) diff --git a/tools/config.json b/tools/config.json index 0b55444..2294a9e 100644 --- a/tools/config.json +++ b/tools/config.json @@ -74,7 +74,7 @@ "website/o3dv/quantitiesdialog.js", "website/o3dv/modeldata.js", "website/o3dv/info.js", - "website/o3dv/menu.js", + "website/o3dv/navigator.js", "website/o3dv/hashhandler.js", "website/o3dv/website.css", "website/o3dv/loader.js", diff --git a/website/embed.html b/website/embed.html index 6b421e3..7d9dbc4 100644 --- a/website/embed.html +++ b/website/embed.html @@ -88,7 +88,7 @@ - + diff --git a/website/index.html b/website/index.html index 9dec861..9b2f813 100644 --- a/website/index.html +++ b/website/index.html @@ -88,7 +88,7 @@ - + @@ -103,7 +103,7 @@ toolbarDiv : $('#toolbar'), mainDiv : $('#main'), introDiv : $('#intro'), - menuDiv : $('#main_menu'), + navigatorDiv : $('#main_navigator'), viewerDiv : $('#main_viewer'), fileInput : $('#open_file') }); @@ -133,7 +133,7 @@
-