docs(ui-grid.info): Added missing documentation.

Documented headerRowHeight, sort priority, setRowsDirty and savePagination.

closes #4098, closes #5518, closes #5661, closes #6671

Author: Portugal, Marcelo

misc/tutorial/208_save_state.ngdoc

@@ -39,6 +39,7 @@ default:
 - saveVisible
 - saveSort
 - saveFilter
+- savePagination
 - savePinning
 - saveGrouping
 - saveGroupingExpandedStates

src/features/row-edit/js/gridRowEdit.js

@@ -156,10 +156,11 @@
                  * @methodOf ui.grid.rowEdit.api:PublicApi
                  * @name setRowsDirty
                  * @description Sets each of the rows passed in dataRows
-                 * to be dirty.  note that if you have only just inserted the
+                 * to be dirty. Note that if you have only just inserted the
                  * rows into your data you will need to wait for a $digest cycle
                  * before the gridRows are present - so often you would wrap this
-                 * call in a $interval or $timeout
+                 * call in a $interval or $timeout. Also, you must pass row.entity
+                 * into this function rather than row objects themselves.
                  * <pre>
                  *      $interval( function() {
                  *        gridApi.rowEdit.setRowsDirty(myDataRows);

src/js/core/factories/GridColumn.js

@@ -302,7 +302,7 @@ angular.module('ui.grid')
   * - direction: values are {@link ui.grid.service:uiGridConstants#properties_ASC uiGridConstants.ASC}
   *  or {@link ui.grid.service:uiGridConstants#properties_DESC uiGridConstants.DESC}
   * - ignoreSort: if set to true this sort is ignored (used by tree to manipulate the sort functionality)
-  * - priority: says what order to sort the columns in (lower priority gets sorted first).
+  * - priority: says what order to sort the columns in (lower priority gets sorted first). Starts from 0.
   * @example
   * <pre>
   *   $scope.gridOptions.columnDefs = [{

src/js/core/factories/GridOptions.js

@@ -216,13 +216,19 @@ angular.module('ui.grid')
        */
       baseOptions.showHeader = typeof(baseOptions.showHeader) !== "undefined" ? baseOptions.showHeader : true;
 
-      /* (NOTE): Don't show this in the docs. We only use it internally
+      /**
        * @ngdoc property
        * @name headerRowHeight
        * @propertyOf ui.grid.class:GridOptions
-       * @description The height of the header in pixels, defaults to 30
+       * @description The height of the header in pixels, defaults to 30.
+       * Although, we recommend that you alter header height with CSS rather than using this option:
        *
-       */
+       * <pre>
+       *     .grid .ui-grid-header-cell {
+       *         height: 60px;
+       *     }
+       * </pre>
+       **/
       if (!baseOptions.showHeader) {
         baseOptions.headerRowHeight = 0;
       }