From 7ad1b750afbefb9904ce31a192ed6192b72691ee Mon Sep 17 00:00:00 2001
From: ulrich <undisclosed>
Date: Tue, 14 Mar 2017 15:37:10 +0000
Subject: [PATCH] Vorbereitung fuer Tipps zu Klassen- und Methodennamen im Code-Editor
---
web/ui/ui.js | 8 +++++++-
1 files changed, 7 insertions(+), 1 deletions(-)
diff --git a/web/ui/ui.js b/web/ui/ui.js
index 997e9ee..6d66b5c 100644
--- a/web/ui/ui.js
+++ b/web/ui/ui.js
@@ -869,6 +869,9 @@
},
"Esc": function(cm) {
if (cm.getOption("fullScreen")) cm.setOption("fullScreen", false);
+ },
+ ".": function(cm) {
+ console.log('dot pressed: perhaps look up class or method name');
}
}
});
@@ -882,6 +885,9 @@
//console.log(info.gutterMarkers.breakpoints.message);
//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);
});
}
@@ -897,7 +903,7 @@
$(marker).tooltip({
placement: 'right',
title: msg,
- offset: '10 -10'
+ offset: '0 -30'
});
return marker;
}
--
Gitblit v1.9.3