From e848b49fa28bb6c4f221f01d955263e4a43b0511 Mon Sep 17 00:00:00 2001
From: Marcus Poeckelmann <marcus.poeckelmann@informatik.uni-halle.de>
Date: Thu, 1 Jun 2023 13:59:18 +0200
Subject: [PATCH] v2.6.3: added variable to disable the display of edge name
---
README | 2 +-
catview.js | 10 +++++++---
2 files changed, 8 insertions(+), 4 deletions(-)
diff --git a/README b/README
index b39b48d..8c3bed6 100644
--- a/README
+++ b/README
@@ -1,6 +1,6 @@
Thank you for using CATview - the Colored & Aligned Texts view.
-This is version 2.6.2
+This is version 2.6.3
For information about the features and usage of CATview, please visit:
https://catview.uzi.uni-halle.de
diff --git a/catview.js b/catview.js
index 37a07bd..471c198 100644
--- a/catview.js
+++ b/catview.js
@@ -22,7 +22,7 @@
SOFTWARE.
*/
-// CATview - the Colored & Aligned Texts view - version 2.6.2
+// CATview - the Colored & Aligned Texts view - version 2.6.3
const CATview = new function() {
this.debug = false;
@@ -31,7 +31,7 @@ const CATview = new function() {
if(CATview.debug)
console.log('CATview.initialize');
- CATview.version = '2.6.2';
+ CATview.version = '2.6.3';
// id of the parent container that will include CATview
CATview.parent_id = 'CATview';
@@ -61,7 +61,8 @@ const CATview = new function() {
CATview.width_content = null;
CATview.height_content = null;
CATview.edgesAxis = null;
- CATview.edge_name = null;
+ CATview.edge_name = null; // current name to display
+ CATview.edge_name_enabled = true; // set to false to disable the display the name of an edge on hovering
CATview.font_size_x = 10;
CATview.font_size_y = 14;
CATview.rect_width = null;
@@ -1007,6 +1008,9 @@ const CATview = new function() {
if(CATview.debug)
console.log('CATview.show_edge_name: ' + _pos);
+ if(!CATview.edge_name_enabled)
+ return false;
+
// respect current zooming
_pos += CATview.from - 1;
--
GitLab