The width of the explorer is different on all 3 workspaces.
Suggest to usify the width so that it is the same on all
of them, and so that the three tabs present in the
explorer fit into one row.
I agree that explorer width should be same on Editing and GUI Editing
workspace. But Debugging workspace contains Debugger window which has
different needs for its width, thus it should stay same as it is now.
Tomas, please set width of Explorer in GUI Editing workspace to 340
Should it really be absolute number?
Yes, it should ;-).
So what should be the height then? And the y position?
(x, y, width, height) = (0, 0, 340, 100%)
I am not sure whether relative and absolute size setting can be used
Marek, is it possible?
I've made the Explorer MDI settings on GUI Editing same as
in Editing workspace (in