E.showScroller - Way to add some padding to the top and bottom of the scroller?

[RKBoss6]

Was just wondering for gridlauncher and other projects, is there a way to add separate padding to the top and bottom of the scroller, that's smaller than each scroll item? I remember somewhere there was some app that had done this, but I don't remember off the top of my head, or if that app even had added padding.

Basically, is it possible to add a smaller item/padding to top and bottom of the scroller before and after the actual content?

[gfwilliams]

We do this for the title in menus: https://github.com/espruino/Espruino/blob/master/libs/js/banglejs/E_showMenu_Bangle2.js#L114-L120

You could do the same at the bottom if we exposed scrollMax, but we don't.

The problem is it's a bit of a hack, so it's quite likely to break at some point. It works for menus because it's in the same firmware as showScroller so I can trust it, but I'm pretty certain that on Bangle.js 3 for instance it would break.

So I'm not convinced that for the small aesthetic improvement in some cases it's worth the potential for the app randomly breaking at some point in the future.

The best solution would be to allow for variable sized entries in showScroller, which I know you wanted before as part of menu dividers. I guess this could be done with an optional getHeight callback when instantiating it: https://github.com/espruino/Espruino/blob/master/libs/js/banglejs/E_showScroller_Bangle2.js

The issue is it'll have to keep track of which menu item is currently in view and its offset as well as the scroll amount, and will have to figure that out again at startup based on the value of scroll.