The lean application framework for Python. Build sophisticated user interfaces with a simple Python API. Run your apps in the terminal and a web browser.
Left-click, hold and drag on a border of a container widget.
If the container permits resizing the border(s) start repainting/resizing, following the mouse cursor.
Once the left mouse button is released the containers are resized based on the final cursor location.
I would propose a style that controls whether a certain edge is resizable similar to how border properties are currently specified (e.g. "border-resizable", "border-resizable-top" etc). Alternatively, additional parameter can be added to the border , i.e. border: <border> <color> <percentage> <resizable>;.
github-actions[bot]
commented
6 days ago
I would propose a style that controls whether a certain edge is resizable similar to how border properties are currently specified (e.g. "border-resizable", "border-resizable-top" etc). Alternatively, additional parameter can be added to the
border, i.e.border: <border> <color> <percentage> <resizable>;.