// System.err.println("syntaxBusy, request queued");
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);
    }
  }
// System.err.println(start + " ---> " + length);
if (syntaxBusy) {
// System.err.println("syntaxBusy, request queued");
styleQueue.add(new StyleQueueItem(start, length, s));
} else {
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) {
// 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);
}
}