feat: extend multiselection prompt with pagesize option (#65)

[groma84]

I extended MultiSelectionPrompt with MultiSelectionPromptOptions to allow setting the PageSize

I could not actively test it because the freshly cloned main branch does not build sadly.

[EluciusFTW]

Hi @groma84, thanks for the contribution! We just pushed/merged a PR fixing the build. If you rebase now you can test your changes.

It happened due to some simultaneous changes from both of us. We'll ad a CI build action soon to prevent this in the future!

[groma84]

Thanks for all the feedback - I'll work on the PR again on Thursday and will include all your suggested improvements!

[groma84]

I implemented the suggestions but I still can't build the -cli project locally, even after rebasing: (sorry for the German messages, basically it says Count and ToArray aren't defined)

...\SpectreCoff\src\spectrecoff-cli\commands\Prompt.fs(19,28): error FS0039: Das Feld, der
Konstruktor oder der Member "Count" ist nicht definiert. [C:\workspace\groma84@github.com\SpectreCoff\src\spectrecoff-c
li\SpectreCoff.Cli.fsproj]
...\SpectreCoff\src\spectrecoff-cli\commands\Prompt.fs(22,44): error FS0039: Das Feld, der
Konstruktor oder der Member "ToArray" ist nicht definiert. [C:\workspace\groma84@github.com\SpectreCoff\src\spectrecoff
-cli\SpectreCoff.Cli.fsproj]
...\SpectreCoff\src\spectrecoff-cli\commands\Prompt.fs(25,53): error FS0039: Das Feld, der
Konstruktor oder der Member "Count" ist nicht definiert. [C:\workspace\groma84@github.com\SpectreCoff\src\spectrecoff-c
li\SpectreCoff.Cli.fsproj]

[EluciusFTW]

Hi Martin,
first of all, German is fine, we both actually are German native speakers :)

I checke out your branch to investigate, and this time, unfortunately (or is it, hehe) the build error is due to your changes. As you can see in this screenshot I checked out two commits backwardds on your branch to the main state, and the build succeeds:

I guess the type inference is now defaulting to Seq instead of List on one of the underlying methods. Maybe you need to add some types nonetheless. I did a quick fix and pushed it to the branch. Feel free to rework the commit, if you think I overstepped!

[groma84]

Thanks for the fix!
VSCode with Ionide did not show me anything at all for the projects, thus I had a hard time figuring the issue out.
So thanks for not only pointing me in the right direction but also fixing it!