From e01996e2ffea1909c8a48f3e6a8371ca7e4ea018 Mon Sep 17 00:00:00 2001
From: Maximilian Giller <m.giller@tu-bs.de>
Date: Thu, 6 Jan 2022 14:46:10 +0100
Subject: [PATCH] Added instructions to menu
---
editor/editor.php | 3 +++
editor/js/tools/deletetool.js | 3 ++-
2 files changed, 5 insertions(+), 1 deletion(-)
diff --git a/editor/editor.php b/editor/editor.php
index 8810932..d496d1f 100644
--- a/editor/editor.php
+++ b/editor/editor.php
@@ -4,6 +4,9 @@
<div id="box-select-layer"><div id="2d-graph"></div></div>
<section id="toolbar"></section>
<section id="tool-menu">
+ <div id="delete-menu" class="hidden">
+ <p>Drag and drop while pressing SHIFT to delete all the nodes that are being selected.</p>
+ </div>
<div id="collect-menu" class="hidden">
<h3>Collected items</h3>
<button id="clear-collection">Clear</button>
diff --git a/editor/js/tools/deletetool.js b/editor/js/tools/deletetool.js
index 01e316d..973a056 100644
--- a/editor/js/tools/deletetool.js
+++ b/editor/js/tools/deletetool.js
@@ -2,6 +2,7 @@ import Tool from "./tool";
import { graph, state, renderer } from "../editor";
import * as Graph from "../graph";
import jquery from "jquery";
+import ToolMenu from "./menus/toolmenu";
/**
* Only one instance of this should exist, since box-delete has to work on a global scale.
@@ -9,7 +10,7 @@ import jquery from "jquery";
var deleteToolInstance = undefined; // Used for box delete
export default class DeleteTool extends Tool {
constructor(key) {
- super("Delete", "delete", key);
+ super("Delete", "delete", key, new ToolMenu());
this.setupBoxSelect();
if (deleteToolInstance === undefined) {
--
GitLab