poire-z f0122cf457 Button: handle 'width' as the final outer width ...

All our widgets are considering their provided 'width'
as the outer width, except Button which considered it
as some 'inner width', to which padding/border/margin
were added. Let's have them all consistent.
Some other widgets using Button had tweaks to account
for that odd behaviour: fix and simplify them.
Also fix Button layout when text is left aligned.

2023-03-23 20:28:38 +01:00

..

_meta.lua

Vocabulary builder: store word context, other tweaks and fixes (#9195)

2022-06-12 21:34:17 +02:00

db.lua

[plugin] Statistics: do not increment db sequences unnecessarily during cloud sync (#9921)

2022-12-16 21:14:49 +01:00

main.lua

Button: handle 'width' as the final outer width

2023-03-23 20:28:38 +01:00