From 8206838aaea35b3886ee704ca474d208433496e0 Mon Sep 17 00:00:00 2001
From: Nils Christian Ehmke <nie@informatik.uni-kiel.de>
Date: Thu, 11 Apr 2013 15:55:01 +0200
Subject: [PATCH] Modified the mouse cursor within the graph.
---
.../webgui/web/beans/view/CurrentAnalysisEditorGraphBean.java | 2 ++
Kieker.WebGUI/src/main/webapp/pages/AnalysisEditorPage.xhtml | 2 +-
2 files changed, 3 insertions(+), 1 deletion(-)
diff --git a/Kieker.WebGUI/src/main/java/kieker/webgui/web/beans/view/CurrentAnalysisEditorGraphBean.java b/Kieker.WebGUI/src/main/java/kieker/webgui/web/beans/view/CurrentAnalysisEditorGraphBean.java
index 1aa15ca1..914042be 100644
--- a/Kieker.WebGUI/src/main/java/kieker/webgui/web/beans/view/CurrentAnalysisEditorGraphBean.java
+++ b/Kieker.WebGUI/src/main/java/kieker/webgui/web/beans/view/CurrentAnalysisEditorGraphBean.java
@@ -144,6 +144,8 @@ public final class CurrentAnalysisEditorGraphBean {
RequestContext.getCurrentInstance().execute(CurrentAnalysisEditorGraphBean.JS_CMD_ADD_REMOVE_NODE_LISTENER);
RequestContext.getCurrentInstance().execute(CurrentAnalysisEditorGraphBean.JS_CMD_ADD_CREATE_EDGE_LISTENER);
RequestContext.getCurrentInstance().execute(CurrentAnalysisEditorGraphBean.JS_CMD_ADD_REMOVE_EDGE_LISTENER);
+
+ RequestContext.getCurrentInstance().execute("graph.addListener('onMouseEnter', function() {graph.setMouseCursor('pointer')})");
}
/**
diff --git a/Kieker.WebGUI/src/main/webapp/pages/AnalysisEditorPage.xhtml b/Kieker.WebGUI/src/main/webapp/pages/AnalysisEditorPage.xhtml
index 5d26fb25..54ba81e2 100644
--- a/Kieker.WebGUI/src/main/webapp/pages/AnalysisEditorPage.xhtml
+++ b/Kieker.WebGUI/src/main/webapp/pages/AnalysisEditorPage.xhtml
@@ -42,7 +42,7 @@
<script>
nodeClickListener = function(node, info, e) {
nodeClickCommand([{name : 'ID', value : node.id}]);
- markNode(node, '#FF0000');
+ markNode(node, '#FF0000');
}
nodeRemoveListener = function(node) {
--
GitLab