Кто-либо знает, как изменить размер дочерних панелей DockLayoutPanel GWT? Когда я добавляю направленную панель, я должен дать ей размер т.е.:
panel.addSouth(new HTML("south"), 2);
Как я могу затем изменить размер этой южной панели после факта?