Merge "Revert "Revert "InlineEdit: Switch to using native jump-to-line addon"""

gerrit-gwtui/src/main/java/com/google/gerrit/client/editor/EditScreen.java

@@ -258,20 +258,7 @@ public class EditScreen extends Screen {
     return new Runnable() {
       @Override
       public void run() {
-        String n = Window.prompt(EditConstants.I.gotoLineNumber(), "");
-        if (n != null) {
-          try {
-            int line = Integer.parseInt(n);
-            line--;
-            if (line >= 0) {
-              cm.scrollToLine(line);
-            }
-          } catch (NumberFormatException e) {
-            // ignore non valid numbers
-            // We don't want to popup another ugly dialog just to say
-            // "The number you've provided is invalid, try again"
-          }
-        }
+        cm.execCommand("jumpToLine");
       }
     };
   }

lib/codemirror/cm.defs

@@ -19,6 +19,7 @@ CM_ADDONS = [
   'edit/trailingspace.js',
   'scroll/annotatescrollbar.js',
   'scroll/simplescrollbars.js',
+  'search/jump-to-line.js',
   'search/matchesonscrollbar.js',
   'search/searchcursor.js',
   'search/search.js',