HW

ad 1.: that would be a gross hack. And it would generate some considerable temporary cruft and lots of write cycles. I'm not convinced at all, I have to admit....

Well, I think it will only make sense when the new_ui_code branch becomes the new main branch. There is still some way to go for that. The old code base...

Slowly we're getting there. The new_ui_code branch is pretty much in shape now, a lot of details are fleshed out. But we still need to port a lot of the...

Hm, I think those "logical numbers" are text based. Plus, they are allowed to repeat, I think. Well, I will have to check that. Maybe a hotkey to mark "page...

Are you sure that self.pos is not updated correctly? The comment refers to making use of the (current) value of self.pos for jump history writing, later in the code (https://github.com/koreader/kindlepdfviewer/blob/master/crereader.lua#L288)...

IIRC, I made this decision in order to do the repainting in the correct order - last registered widget is painted last. So the window stack is indeed a stack...

That's what I thought of. It might come handy in other places, too. However, it probably means that we need to add childs via an "add" method, not just as...

BTW, the mupdf app included in mupdf has a nice example of an implementation of text search (including finding the coordinates). That's what I intend to use as blueprint for...

I'm not in favor of changing key assignments now, I think. Rather I'd like to have this fully configurable later. The same goes for the border style. For PDFs, I...

OK, I'm done for the moment, will get back to it later. Feel free to fix stuff as it fits :-)