| 4,12 → 4,12 |
|---|
| |
| import com.extjs.gxt.ui.client.util.Margins; |
| import com.extjs.gxt.ui.client.util.Padding; |
| import com.extjs.gxt.ui.client.widget.LayoutContainer; |
| import com.extjs.gxt.ui.client.widget.ContentPanel; |
| import com.extjs.gxt.ui.client.widget.layout.VBoxLayout; |
| import com.extjs.gxt.ui.client.widget.layout.VBoxLayoutData; |
| import com.extjs.gxt.ui.client.widget.layout.VBoxLayout.VBoxLayoutAlign; |
| |
| public class NavigationVue extends LayoutContainer{ |
| public class NavigationVue extends ContentPanel { |
| private Mediateur mediateur = null; |
| private MenuVue menu = null; |
| private FiltreVue filtre = null; |
| 19,6 → 19,7 |
|---|
| VBoxLayout layout = new VBoxLayout(); |
| layout.setPadding(new Padding(0)); |
| layout.setVBoxLayoutAlign(VBoxLayoutAlign.STRETCH); |
| setHeading(Mediateur.i18nC.titreNavigation()); |
| setLayout(layout); |
| |
| menu = new MenuVue(mediateur); |
| 25,7 → 26,7 |
|---|
| add(menu, new VBoxLayoutData(new Margins(0))); |
| |
| filtre = new FiltreVue(mediateur); |
| add(filtre, new VBoxLayoutData(new Margins(5, 0, 0, 0))); |
| add(filtre, new VBoxLayoutData(new Margins(0))); |
| } |
| |
| public MenuVue getMenu() { |