Random optimizations (#9657)

This commit is contained in:
zwim
2022-10-28 07:51:27 +02:00
committed by GitHub
parent e72211a5bf
commit d7c63edca6
3 changed files with 23 additions and 37 deletions

View File

@@ -2072,5 +2072,4 @@ function ReaderHighlight:_createHighlightGesture(gesture)
}
end
return ReaderHighlight