Hello, I think I found a bug in the latest ion3: WFrame.maximize_* don't seem to work well under an IonWS. Sometimes they work i.e. they maximize in that direction and on the next call they put the workspace in the previous state, but applied to other frames they maximize that frame but won't return to the previous state. Kind of hard to describe, better try it out.
Rui
