Skip to content

ButtonTable, ReaderDogear and TextEditor tweaks and fixes#9985

Merged
poire-z merged 3 commits into
koreader:masterfrom
poire-z:misc_20230101
Jan 1, 2023
Merged

ButtonTable, ReaderDogear and TextEditor tweaks and fixes#9985
poire-z merged 3 commits into
koreader:masterfrom
poire-z:misc_20230101

Conversation

@poire-z

@poire-z poire-z commented Jan 1, 2023

Copy link
Copy Markdown
Contributor

ButtonTable: reset MovableContainer state on button tap

Prevent any later hold_release event from being handled by MovableContainer as a moving touch+hold_release.
This issue was noticable when closing DictQuickLookup with long-press on close, resulting in the movable highlight actions ButtonTable moving to where the long-press happened.
Issue described at #9507 (comment), and various alternative solutions proposed in next posts.

ReaderDogear: fix no y-offset after load with top status bar

Regression since #9651, fix item 4 of #9979, #9979 (comment).

TextEditor: use a file symbol instead of numbers in history

Closes #9973 , by getting rid of the numbers :) and going with:
image


This change is Reviewable

Prevent any later hold_release event from being handled
by MovableContainer as a moving touch+hold_release.
This issue was noticable when closing DictQuickLookup
with long-press on close, resulting in the movable
highlight actions ButtonTable moving to where the
long-press happened.
@poire-z poire-z mentioned this pull request Jan 1, 2023
@Frenzie Frenzie added this to the 2023.01 milestone Jan 1, 2023

function ReaderDogear:onSetPageMargins(margins)
if self.ui.document.info.has_pages then
if not self.ui.rolling then

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

self.ui.paging doesn't work here?

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It does, but I thought it would be more readable to just use ui.rolling here, as all this stuff mostly regards ReaderRolling - than mixing not ui.paging and ui.rolling.
(And I assume the cost of not, if any, is cheap enough :)

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Let me disagree and not to follow this.

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'd glanced over this change but yeah, this doesn't strike me as a case where using not adds clarity.

@mergen3107

Copy link
Copy Markdown
Contributor

Icons look neat!

@poire-z poire-z merged commit 581a943 into koreader:master Jan 1, 2023
@poire-z poire-z deleted the misc_20230101 branch January 1, 2023 19:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Text Editor list update

5 participants