Bottom margin in source code editor missing when many files

Issue description

If the source code editor holds more files of a type than the screen is wide, the scroll bar allows to navigate to the others which are currently not in view. But in this case the bottom marin of 1em disappears.

Developer comments

It is no longer the case that the bottom margin of the code editor varies, thus the history remains at a fixed places and can be used by the mouse without moving the cursor. But there is a small, but noticeable gap now, if the scrollbar is not shown. Therefore still open.

This was fixed by computing the available vertical space for the editor and setting it with JavaScript.

Reporting date

2023-11-27

Reported by

Robert Cerny

Resolving date

2024-07-30

Resolved by

Robert Cerny

Resolved in version

Topincs 10.0.0 - next major release

Work sessions3

Start	2023-12-05T13:07:06
End	2023-12-05T15:23:07
Participant	Robert Cerny

Start	2023-12-15T13:48:56
End	2023-12-15T15:00:08
Participant	Robert Cerny

Start	2024-07-30T07:57:27
End	2024-07-30T09:38:37
Participant	Robert Cerny

Helpful webpages

codemirror.net/examples/styling/