Neroden has once brought up the idea to introduce a new type which is used for UI component sizes and positions. During my restructuring work, I was reminded and it seemed to be a good idea, but also a big task.
I think we should introduce a two value container, to keep UI element dimensions and positions, and is not to be mistaken with koord's for map positions.
Java has "point" (x,y) and "dimension" (width, height) but I feel uncertain if we'll want two distinct types. The benefit is that there are good member names which distinguish positions from sizes. Having no better idea, I'd propose a move to point_t and dimension_t if there should be a redesign of the UI classes coming.
Nothing urgent. Just a cleanup, separation of UI and map classes and an improvement in code readability maybe. A question actually if it's wanted and what the other developers think about it.