Vorbereitung fuer Tipps zu Klassen- und Methodennamen im Code-Editor

ulrich

2017-03-14 3b7c5b1214f19a70bdaa89b1c518a11ff1a55e03

 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) {