Function getHashedLineNumber

src/static/js/pad_editor.ts:319–324

()

exports.padeditor = padeditor;

const getHashedLineNumber = () => {
  const lineNumber = window.location.hash.substr(1);
  if (!lineNumber || lineNumber[0] !== 'L') return null;
  const lineNumberInt = parseInt(lineNumber.substr(1));
  return Number.isInteger(lineNumberInt) && lineNumberInt > 0 ? lineNumberInt : null;
};

const focusOnHashedLine = (ace, lineNumberInt) => {
  const $aceOuter = $('iframe[name="ace_outer"]');