diff --git a/app/assets/javascripts/editor.js.erb b/app/assets/javascripts/editor.js.erb index f9900eec..2a526aff 100644 --- a/app/assets/javascripts/editor.js.erb +++ b/app/assets/javascripts/editor.js.erb @@ -470,7 +470,7 @@ $(function() { var initializeRegexes = function(){ regex_for_language.set("ace/mode/python", /File "(.+?)", line (\d+)/g); - regex_for_language.set("ace/mode/java", /(.*\.java):(\d):/g); + regex_for_language.set("ace/mode/java", /(.*\.java):(\d+):/g); } var initializeTooltips = function() {