docs: protected synchronized void onResized(TerminalSize newSize) {
          if (lastKnownSize == null || !lastKnownSize.equals(newSize)) {
              lastKnownSize = newSize;
              for (TerminalResizeListener resizeListener : resizeListeners) {
                  resizeListener.onResized(this, lastKnownSize);
              }
          }
      }