Typehints for getHeaderMargin() and setHeaderMargin() are inconsistent#598

Merged

nicolaasuni merged 3 commits intotecnickcom:mainfrom fisharebest:main

Sep 6, 2023

+4-2

Commits on Mar 19, 2023

Commits on Sep 6, 2023

Merge branch 'main' into main
nicolaasuni
authored