At the moment, we fix the width of the code editor in the UI.
When working on larger Python functions, it might be convenient if increasing the size of the editor would be possible.
While dynamic resizing might be rather complex to implement, we could get started with offering a few pre-defined editor sizes, e.g., S (=current width), M (=1.5X of current width), and L (=2X of current width).
At the moment, we fix the width of the code editor in the UI. When working on larger Python functions, it might be convenient if increasing the size of the editor would be possible.
While dynamic resizing might be rather complex to implement, we could get started with offering a few pre-defined editor sizes, e.g.,
S(=current width),M(=1.5X of current width), andL(=2X of current width).