| 12345678910111213141516171819202122 |
- /**
- * @class Ext.grid.column.RowNumberer
- */
- /**
- * @var {number}
- * The horizontal space before the number in the RowNumberer cell
- */
- $grid-row-numberer-cell-spacing-before: dynamic(3px);
- /**
- * @var {number}
- * The horizontal space after the number in the RowNumberer cell
- */
- $grid-row-numberer-cell-spacing-after: dynamic(5px);
- // private
- $grid-row-numberer-cell-padding:
- top($grid-cell-inner-padding)
- $grid-row-numberer-cell-spacing-after
- bottom($grid-cell-inner-padding)
- $grid-row-numberer-cell-spacing-before;
|
