Pivot table: show when maximum number of read rows is exceeded (closes #262)

Refactoring + bugfix in web grid / tree tables

Author: AlexKirkouski

server/src/main/java/lsfusion/server/logics/form/interactive/instance/object/GroupObjectInstance.java

@@ -163,7 +163,7 @@ public int getPageSize() {
     }
     public int getGroupPageSize() {
         assert !isInTree();
-        return getPageSize() * 5;
+        return getPageSize();
     }
 
     public void setPageSize(Integer pageSize) {

web-client/src/main/java/lsfusion/gwt/client/ClientMessages.java

@@ -114,6 +114,9 @@ public interface ClientMessages extends Messages {
     String rmiConnectionLostExit();
     String rmiConnectionLostReconnect();
 
+    String formGridPageSizeHit(int pagesize);
+    String formGridPageSizeShowAll();
+
     String propertyTooltipCanonicalName();
     String propertyTooltipTable();
     String propertyTooltipObjects();

web-client/src/main/java/lsfusion/gwt/client/ClientMessages.properties

@@ -33,6 +33,9 @@ formGridMapView=Map
 formGridManualUpdate=Manual update
 formGridUpdate=Update
 
+formGridPageSizeHit=Only first {0} rows are shown...
+formGridPageSizeShowAll=Show all
+
 formTree=Tree
 formTreeExpand = Expand whole tree
 formTreeExpandCurrent = Expand current object

web-client/src/main/java/lsfusion/gwt/client/ClientMessages_ru.properties

@@ -31,6 +31,9 @@ formGridMapView=\u041A\u0430\u0440\u0442\u0430
 formGridManualUpdate=\u0420\u0443\u0447\u043D\u043E\u0435 \u043E\u0431\u043D\u043E\u0432\u043B\u0435\u043D\u0438\u0435
 formGridUpdate=\u041E\u0431\u043D\u043E\u0432\u0438\u0442\u044C
 
+formGridPageSizeHit=\u041F\u043E\u043A\u0430\u0437\u0430\u043D\u044B \u0442\u043E\u043B\u044C\u043A\u043E \u043F\u0435\u0440\u0432\u044B\u0435 {0} \u0440\u044F\u0434\u043E\u0432...
+formGridPageSizeShowAll=\u041F\u043E\u043A\u0430\u0437\u0430\u0442\u044C \u0432\u0441\u0435
+
 formTree=\u0414\u0435\u0440\u0435\u0432\u043E
 formTreeExpand = \u0420\u0430\u0437\u0432\u0435\u0440\u043D\u0443\u0442\u044C \u0432\u0441\u0451 \u0434\u0435\u0440\u0435\u0432\u043E
 formTreeExpandCurrent = \u0420\u0430\u0437\u0432\u0435\u0440\u043D\u0443\u0442\u044C \u0442\u0435\u043A\u0443\u0449\u0438\u0439 \u043E\u0431\u044A\u0435\u043A\u0442

web-client/src/main/java/lsfusion/gwt/client/base/view/grid/DataGrid.java

@@ -1035,6 +1035,9 @@ public HeaderBuilder<T> getFooterBuilder() {
     public Header<?> getHeader(int index) {
         return headers.get(index);
     }
+    public int getHeaderIndex(Header<?> header) {
+        return headers.indexOf(header);
+    }
 
     private boolean hasHeaders() {
         return nonNullHeadersCount != 0;

web-client/src/main/java/lsfusion/gwt/client/form/object/table/grid/controller/GGridController.java

@@ -27,6 +27,8 @@
 import lsfusion.gwt.client.form.property.*;
 
 import java.util.*;
+import java.util.function.Consumer;
+import java.util.function.Supplier;
 
 import static lsfusion.gwt.client.base.GwtClientUtils.setupFillParent;
 
@@ -129,7 +131,11 @@ private void setMapTableView() {
         gridTableButton.showBackground(false);
         pivotTableButton.showBackground(false);
     }
-    
+    private void changeMode(Runnable updateView) {
+        updateView.run();
+        formController.changeMode(groupObject, table.isGroup(), table.getPageSize(), table.getViewType());
+    }
+
     private boolean manual;
     private void setUpdateMode(boolean manual) {
         this.manual = manual;
@@ -234,8 +240,7 @@ public void addListener() {
         gridTableButton = new GToolbarButton("grid.png", messages.formGridTableView()) {
             public void addListener() {
                 addClickHandler(event -> {
-                    setGridTableView();
-                    formController.changeMode(groupObject, false, -1, GGridViewType.GRID);
+                    changeMode(() -> setGridTableView());
                 });
             }
         };
@@ -244,8 +249,7 @@ public void addListener() {
         pivotTableButton = new GToolbarButton("pivot.png", messages.formGridPivotView()) {
             public void addListener() {
                 addClickHandler(event -> {
-                    setPivotTableView();
-                    formController.changeMode(groupObject, true, 1000, GGridViewType.PIVOT);
+                    changeMode(() -> setPivotTableView());
                 });
             }
         };
@@ -255,8 +259,7 @@ public void addListener() {
             mapTableButton = new GToolbarButton("map.png", messages.formGridMapView()) {
                 public void addListener() {
                     addClickHandler(event -> {
-                        setMapTableView();
-                        formController.changeMode(groupObject, false, 1000, GGridViewType.MAP);
+                        changeMode(() -> setMapTableView());
                     });
                 }
             };
@@ -632,6 +635,9 @@ protected void changeFilter(List<GPropertyFilter> conditions) {
     public void changeGroupMode(List<GPropertyDraw> properties, List<GGroupObjectValue> columnKeys, int aggrProps, GPropertyGroupType aggrType) {
         formController.changeMode(groupObject, true, properties, columnKeys, aggrProps, aggrType, null, false, null, GGridViewType.PIVOT);
     }
+    public void changePageSize(int pageSize) {
+        formController.changeMode(groupObject, false, null, null, 0, null, pageSize, false, null, null);
+    }
 
     @Override
     public void setFilterVisible(boolean visible) {