private void addStylesQueueRequest(int start, int length, String s) {
    // System.err.println(start + " ---> " + length);
    int startNew = backupToPossibleStyleStart(start);
    length = length + start - startNew;
    start = startNew;
    // System.err.println(start + " ---> " + length);
    if (syntaxBusy) {
      // System.err.println("syntaxBusy, request queued");
      styleQueue.add(new StyleQueueItem(start, length, s));
    } else {
      // Todo: if syntax is not busy but a request got stuck
      // System.err.println("request not queued");
      if (styleQueue.size() != 0) System.err.println("A request got stuck");
      syntaxBusy = true;
      addStylesNew(start, length, s);
    }
  }
private void addStylesQueueRequest(int start, int length, String s) {
   
    int startNew = backupToPossibleStyleStart(start);
    length = length + start - startNew;
    start = startNew;
   
    if (syntaxBusy) {
     
      styleQueue.add(new StyleQueueItem(start, length, s));
    } else {
     
     
      if (styleQueue.size() != 0) System.err.println("A request got stuck");
      syntaxBusy = true;
      addStylesNew(start, length, s);
    }
  }
private void addstylesqueuerequest(int start, int length, string s) { int startnew = backuptopossiblestylestart(start); length = length + start - startnew; start = startnew; if (syntaxbusy) { stylequeue.add(new stylequeueitem(start, length, s)); } else { if (stylequeue.size() != 0) system.err.println("a request got stuck"); syntaxbusy = true; addstylesnew(start, length, s); } }