[ros-diffs] [dquintana] 65804: [EXPLORER] * Improve an older change that I commited by mistake, with the improvbements based on a patch by Giannis. * In Windows, fixes the taskbar having a size grip with the t...