Skip to content
This repository was archived by the owner on Aug 5, 2024. It is now read-only.

fixes for null safety dart #136

Open
FabienZE wants to merge 7 commits into
base: master
Choose a base branch
from
Open

fixes for null safety dart #136

Changes from 1 commit
Commits
Show all changes
7 commits
Select commit Hold shift + click to select a range
f39b411
fixes for null safety dart
FabienZE Jan 27, 2023
7ef4e54
fix test for dart null safety
FabienZE Jan 27, 2023
cd1b040
checklines null optionnal
FabienZE Jan 27, 2023
5c6712c
checklines default to true
FabienZE Jan 27, 2023
36f8e6b
checklines defaults to true
FabienZE Jan 27, 2023
85fb490
optimize diff bisect
FabienZE Jan 27, 2023
1b8d2ed
fix patch growable
FabienZE Feb 2, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
checklines null optionnal
  • Loading branch information
@FabienZE
FabienZE committed Jan 27, 2023
commit cd1b040944b00fcbbae856f599699e367df6fa87
2 changes: 1 addition & 1 deletion dart/DMPClass.dart
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -91,7 +91,7 @@ class DiffMatchPatch {
* internally for recursive calls. Users should set DiffTimeout instead.
* Returns a List of Diff objects.
*/
List<Diff> diff_main(String? text1, String? text2, [bool checklines = true, DateTime? deadline]) {
List<Diff> diff_main(String? text1, String? text2, [bool? checklines, DateTime? deadline]) {
// Set a deadline by which time the diff must be complete.
if (deadline == null) {
deadline = new DateTime.now();
Expand Down