[GUI] In topography designer make shapes resizable with mouse
Like in other GUI applications, use corners of shapes to resize them (with clicked left mouse button).
29. April 2024: Due to updates GitLab may be unavailable for some minutes between 10:00 and 12:00.
Like in other GUI applications, use corners of shapes to resize them (with clicked left mouse button).