GitHub/proxypin
1
0
Fork 0
mirror of https://github.com/wanghongenpin/proxypin.git synced 2026-03-15 04:23:17 +08:00
Code Issues Packages Projects Releases 1 Wiki Activity

json text search (#599)(#606)

Browse Source
This commit is contained in:
wanghongenpin
2025-10-16 22:57:52 +08:00
parent a1d65b5f13
commit c52245de3d
1 changed files with 4 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
lib/ui/component/json/json_text.dart
View File

@@ -84,7 +84,7 @@ class _JsonTextState extends State<JsonText> {
WidgetsBinding.instance.addPostFrameCallback((_) {
searchController?.updateMatchCount(jsonParser.searchMatchTotal);
// 自动滚动到当前高亮项
scrollToMatch(jsonParser);
scrollToMatch(jsonParser, chunks);
});
if (textList.length < 1000) {
@@ -97,6 +97,7 @@ class _JsonTextState extends State<JsonText> {
child: SelectionArea(
child: ScrollablePositionedList.builder(
physics: Platforms.isDesktop() ? null : const BouncingScrollPhysics(),
scrollController: Platforms.isDesktop() ? null : trackingScroll(),
itemCount: chunks.length,
minCacheExtent: 1500,
itemScrollController: itemScrollController,
@@ -233,8 +234,8 @@ class _JsonTextState extends State<JsonText> {
trackingScroll.addListener(() {
// iOS 回弹或向上轻微滑动时，驱动外部滚动条联动
if (trackingScroll.offset < -10 || (trackingScroll.offset < 30 && trackingScroll.offset < prevOffset)) {
if (scrollController != null && scrollController.offset >= 0) {
scrollController.jumpTo(scrollController.offset - max((prevOffset - trackingScroll.offset), 15));
if (scrollController != null && scrollController.offset >= 50) {
scrollController.jumpTo(scrollController.offset - max((prevOffset - trackingScroll.offset), 10));
}
}
prevOffset = trackingScroll.offset;