docs: void showStopLine(Dim.StackFrame frame) {
          String sourceName = frame.getUrl();
          if (sourceName == null || sourceName.equals("<stdin>")) {
              if (console.isVisible()) {
                  console.show();
              }
          } else {
              showFileWindow(sourceName, -1);
              int lineNumber = frame.getLineNumber();
              FileWindow w = getFileWindow(sourceName);
              if (w != null) {
                  setFilePosition(w, lineNumber);
              }
          }
      }