editor-files.js 141 B

1234
  1. const documentClassRe = /^[^%]*\\documentclass/
  2. export const isMainFile = doc =>
  3. doc.split('\n').some(line => documentClassRe.test(line))