/** * @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;