INNER CODE UNIT · Dart

target

reqable/re-editor · lib/src/_code_field.dart:722

        final target = max(0, _horizontalViewport!.pixels + offset.dx - size.width / 2);
        scrollViewport(_horizontalViewport!, target);
      } else if (offset.dx > size.width - _preferredLineHeight) {
        final target = min(
          _horizontalViewportSize!,
          _horizontalViewport!.pixels + offset.dx + _preferredLineHeight - size.width / 2,
        );
        scrollViewport(_horizontalViewport!, target);
      }
    }
  }

  void forceRepaint() {
    _highlighter.clearCache();
    _displayParagraphs.clear();
    _updateDisplayRenderParagraphs();
    markNeedsPaint();
  }

View source record →