navigation.addCloseHandler(new CloseHandler<PanelLayout>() {
public void onClose(CloseEvent<PanelLayout> event) {
p.setWidgetVisible(navigation, false);
}
});
p.addWest(navigation, 200);
LayoutUtils.fitParent(navigation);
final HTML properties = new HTML("properties");
p.addEast(properties, 200);