Thread: PageEdit 1.2.0 would not run under Kubuntu 20.04 and Mint 20
View Single Post
Old 06-19-2020, 07:58 PM   #27
KevinH
Sigil Developer
KevinH ought to be getting tired of karma fortunes by now.KevinH ought to be getting tired of karma fortunes by now.KevinH ought to be getting tired of karma fortunes by now.KevinH ought to be getting tired of karma fortunes by now.KevinH ought to be getting tired of karma fortunes by now.KevinH ought to be getting tired of karma fortunes by now.KevinH ought to be getting tired of karma fortunes by now.KevinH ought to be getting tired of karma fortunes by now.KevinH ought to be getting tired of karma fortunes by now.KevinH ought to be getting tired of karma fortunes by now.KevinH ought to be getting tired of karma fortunes by now.
 
Posts: 8,816
Karma: 6000000
Join Date: Nov 2009
Device: many
Probably a bug, but I checked my debug output and the Interceptor changes reported nothing wrong when insertOrderedList and insertUnOrderedList is run.

I am pretty sure the problem change is in the chromium part.
KevinH is offline   Reply With Quote