Window maximization bug

You need only 1 monitor. Simple stretch any window to fit all desktop and then maximize it.
When you maximize a generic window, hides left, right and bottom borders, grows up and expands client area to fit all desktop.
Already stretched window on maximization action only hides left, right and bottom borders and doesn't expand client area to occupy desktop under borders.

I will try to describe the issue more detailed.

I worked on MokshaSeven theme - implemented thick side borders for windows and added window resize functionality for them.

I made some changes in the file "default.edc":




part {

name: "side_left";

...

}

part {

name: "side_right";

...

}

part {

name: "e.swallow.client";

...

}

part {

name: "e.event.resize.l";

...

}

part {

name: "e.event.resize.r";

...

}

program {

name: "max_win";

...

}

program {

name: "unmax_win";

...

}
and added two new images: bd_side_left.png and bd_side_right.png.

All these files are attached to this message: m7.tar.gz

Maximization of a default window works as expected:


(^--- default window before maximization)


(^--- default window after maximization, its client area is extended on the left, right and bottom borders)


But maximization of the window that is already stretched (manually) to fit all desktop causes the described issue:


(^--- manually stretched window, it has left, right and bottom borders)


(^--- the stretched window after maximization, client area doesn't occupied borders place)

I'm not sure is this error in Moksha or in my theme, but I don't know a way to fix it .