|
|
|
@ -104,7 +104,7 @@ class EditorProvider with ChangeNotifier {
@@ -104,7 +104,7 @@ class EditorProvider with ChangeNotifier {
|
|
|
|
|
if (!_tabLoadingStates[tabId]!) break; // 检查是否取消 |
|
|
|
|
|
|
|
|
|
final chunkLines = lines.sublist(i, min(i + linesPerChunk, lines.length)); |
|
|
|
|
_tabs[index].chunks!.addAll(chunkLines); |
|
|
|
|
_tabs[index].chunks.addAll(chunkLines); |
|
|
|
|
|
|
|
|
|
notifyListeners(); |
|
|
|
|
await Future.delayed(Duration.zero); // 让UI更新 |
|
|
|
|