ILIAS icon indicating copy to clipboard operation
ILIAS copied to clipboard

Fix setGapSize always requiring int

Open kergomard opened this issue 3 years ago • 0 comments

setGapSize accepts everything, getGapSize wants to give an int back. I went with the full typing solution.

kergomard avatar Aug 05 '22 15:08 kergomard