Function whitespace

OmniDB/OmniDB_app/static/OmniDB_app/lib/ace/worker-xquery.js:4383–4391

()

  }

  function whitespace()
  {
    if (e0 != b1)
    {
      b0 = e0;
      e0 = b1;
      eventHandler.whitespace(b0, e0);
    }
  }

  function matchW(set)
  {