WindowManagerTools needs API for moving window corners

Bug #1623534 reported by Daniel d'Andrada
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
MirAL
Won't Fix
Undecided
Unassigned

Bug Description

WindowManagerTools::modify_window() doesn't have enough context information to make the right decision when resizing a window from its top-left border, for instance.

When you resize a window from its top left corner (ie, move its top-left border), its bottom-right corner should remain still (ie x+width and y+height must not change). The bottom-right corner will move if you use WindowManagerTools::modify_window() for that and the window has a size increment set (of eg, 20 pixels). The bototm-right corner will jiggle in this case as miral complies with the position change but not with the size change.

We need a higher level API in WindowManagerTools than modify_window() to convey this information.

Related branches

Changed in miral:
assignee: nobody → Daniel d'Andrada (dandrader)
status: New → In Progress
summary: - WindowManagerTools needs API for moving window borders
+ WindowManagerTools needs API for moving window corners
Changed in miral:
status: In Progress → New
assignee: Daniel d'Andrada (dandrader) → nobody
Revision history for this message
Alan Griffiths (alan-griffiths) wrote :

BasicWindowManager::modify_window() shouldn't be calling constrain_resize() - that should be a policy decision.

I'm not sure that we currently want to "bake in" move_corner()/move_edge() or *any* other specific resize algorithm to BasicWindowManager

Changed in miral:
status: New → Won't Fix
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.