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