IDEUI-254 Fix trunked editor when resizing panels
Merge pull request #194 from kevinpollet/IDEUI-254

IDEUI-254 Fix trunked editor when resizing panels
IDEUI-281 Increase font size in tooltips for infobar
Merge pull request #195 from kevinpollet/IDEUI-281

IDEUI-281 Increase font size in tooltips for infobar