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 | 21 ++++++++++++++++++++- 1 files changed, 20 insertions(+), 1 deletions(-) diff --git a/web/ui/ui.js b/web/ui/ui.js index 997e9ee..aa7319e 100644 --- a/web/ui/ui.js +++ b/web/ui/ui.js @@ -869,6 +869,20 @@ }, "Esc": function(cm) { if (cm.getOption("fullScreen")) cm.setOption("fullScreen", false); + }, + ".": 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; } } }); @@ -883,6 +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); + }); + */ } function fm_set_code_marker(lineNumber, message) { @@ -897,7 +916,7 @@ $(marker).tooltip({ placement: 'right', title: msg, - offset: '10 -10' + offset: '0 -30' }); return marker; } -- Gitblit v1.9.3