private void filtrar() { grid.getDataProvider().setFilter(txtBuscar.getText()); if (grid.getDataProvider().hasFilter()) { int alto = grid.getDataProvider().resulted.size() * 15; // grid.setHeight(alto + "mm"); } else { int alto = grid.getData().size() * 15; // grid.setHeight(alto + "mm"); } grid.getDataProvider().refresh(); }