+
+
+
+
+
+ {{doc.modelError.toString()}}
+
+
+
+
+
+
+
+
+
+ {{doc.modelError.toString()}}
+
+
+
-
-
-
-
-
- {{doc.modelError.toString()}}
-
-
-
-
- {{doc.modelError.toString()}}
-
-
-
+
+
+
+ | {{e.line}} |
+ : |
+ {{e.col}} |
+ {{e.msg}} |
+
+
+
-
diff -r 3f71a3364367 -r 927a5f9fa430 launcher/src/main/resources/org/apidesign/bck2brwsr/dew/js/app.js
--- a/launcher/src/main/resources/org/apidesign/bck2brwsr/dew/js/app.js Wed Jan 16 12:44:54 2013 +0100
+++ b/launcher/src/main/resources/org/apidesign/bck2brwsr/dew/js/app.js Mon Jan 21 22:10:08 2013 +0100
@@ -29,6 +29,7 @@
deferCodeMirror = function() {
codeMirror = CodeMirror.fromTextArea(elm[0], opts);
+ elm[0].codeMirror = codeMirror;
// codeMirror.on("change", onChange(opts.onChange));
codeMirror.on("change", onChange);
@@ -119,19 +120,39 @@
+ "}\n";
- $scope.reload= function() {
+ $scope.reload = function() {
+ $scope.errors = null;
var frame = document.getElementById("result");
frame.src = "result.html";
frame.contentDocument.location.reload(true);
frame.contentWindow.location.reload();
};
+ $scope.fail = function( data ) {
+ $scope.errors = eval( data );
+ };
+
$scope.post = function(html, java) {
return $http({url: ".",
method: "POST",
//headers: this.headers,
data: { html : $scope.html, java : $scope.java}
- }).success( $scope.reload );
+ }).success( $scope.reload ).error( $scope.fail );
+ };
+
+ $scope.errorClass = function( kind ) {
+ switch( kind ) {
+ case "ERROR" :
+ return "error";
+ default :
+ return "warning";
+ }
+ };
+
+ $scope.gotoError = function( line, col ) {
+ var editor = document.getElementById("editorJava").codeMirror;
+ editor.setCursor({ line: line - 1, ch : col });
+ editor.focus();
};
$scope.tab = "html";