| | |
| | | }, |
| | | ".": 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; |
| | | } |
| | | } |
| | | }); |
| | |
| | | //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) { |