Other minor frontend.util cleanups (#5629)

* Resync fixUtf8 w/ upstream
* Fix lastIndexOf desc
* Drop unichar usage, it's a crappier unicodeCodepointToUtf8 ;).
This commit is contained in:
NiLuJe
2019-11-24 00:27:27 +01:00
committed by GitHub
parent 4740ab1fdc
commit d8e0b1759b
7 changed files with 55 additions and 49 deletions

View File

@@ -1116,7 +1116,7 @@ function ReaderHighlight:onHighlightSearch()
logger.dbg("search highlight")
self:highlightFromHoldPos()
if self.selected_text then
local text = require("util").stripePunctuations(self.selected_text.text)
local text = require("util").stripPunctuation(self.selected_text.text)
self.ui:handleEvent(Event:new("ShowSearchDialog", text))
end
end