HTML widget text editor lacks a vertical scroll bar (use arrows instead)

[Karl-Model]

Prerequisites

• I have searched for similar features requests in both open and closed tickets and cannot find a duplicate.
• The feature is still missing in the latest stable version of Elementor ( Elementor Pro )

What problem is your feature request going to solve? Please describe.

When editing a large text file inside the HTML widget, it does not seem to be possible to scroll down beyond the visible viewport because a vertical scroll bar does not appear. Update: I have discovered a series of arrow icons which can hide the visibility of code blocks at the left of the editor which is a suitable alternative to a vertical scrollbar.

Describe the solution you'd like

After careful examination of the user interface, I now recognize that the ui designer saved valuable screenspace by not implementing a traditional vertical scrollbar. Although the drag icon which has been implemented at the lower right corner of the CSS editor would be a possible alternative solution, it is now clear to me that an excellent solution has already been implemented by a series of arrow icons located at the left of the editor which can toggle the visibility of code blocks.

Describe alternatives you've considered

It is possible to select all text using the key combination Ctrl + A in windows operating system, and then copy the text to a separate file such as notepad for editing.

Additional context

After further consideration I think that no changes are actually required. I finally discovered that the vertical scrollbar is in fact present and functional, but it is extremely small because it is scaled down in proportion to the length of the editable content. The drag icon at the lower right of the editor is also present and functional as long as one can scroll down far enough to see it.