From 3b7c5b1214f19a70bdaa89b1c518a11ff1a55e03 Mon Sep 17 00:00:00 2001
From: ulrich <undisclosed>
Date: Tue, 14 Mar 2017 15:45:17 +0000
Subject: [PATCH] Vorbereitung fuer Tipps zu Klassen- und Methodennamen im Code-Editor
---
web/ui/ui.js | 15 ++++++++++++++-
1 files changed, 14 insertions(+), 1 deletions(-)
diff --git a/web/ui/ui.js b/web/ui/ui.js
index 6d66b5c..aa7319e 100644
--- a/web/ui/ui.js
+++ b/web/ui/ui.js
@@ -872,6 +872,17 @@
},
".": function(cm) {
console.log('dot pressed: perhaps look up class or method name');
+ /*
+ * Hier kann man eine Funktion ausloesen, die fuer das
+ * Wort vor dem Punkt (Name der Klasse) eine Liste mit
+ * Vorschlaegen fuer Methodennamen einblendet.
+ */
+
+ /*
+ * CodeMirror.Pass laesst das Zeichen zum Editorinhalt durch,
+ * verhindert aber das Ausloesen von 'keyHandled'
+ */
+ return CodeMirror.Pass;
}
}
});
@@ -886,9 +897,11 @@
//var marker = info.gutterMarkers.breakpoints;
//$(marker).tooltip('toggle');
});
+ /*
cm.on("keyHandled", function(theEditor, keyName, event){
- console.log('cm.keyHandled keyName: ' + keyName + ', event.type: ' + event.type);
+ console.log('cm.keyHandled keyName: ' + keyName + ', event.type: ' + event.type);
});
+ */
}
function fm_set_code_marker(lineNumber, message) {
--
Gitblit v1.9.3