From b3fbe47f0a0ae2f8bf24814248ebfa66ed86271d Mon Sep 17 00:00:00 2001 From: Anthony Dresser Date: Tue, 11 Sep 2018 17:09:17 -0700 Subject: [PATCH] add min size for row num column (#2518) --- .../base/browser/ui/table/plugins/rowNumberColumn.plugin.ts | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/sql/base/browser/ui/table/plugins/rowNumberColumn.plugin.ts b/src/sql/base/browser/ui/table/plugins/rowNumberColumn.plugin.ts index 374add52d6..7806e083f4 100644 --- a/src/sql/base/browser/ui/table/plugins/rowNumberColumn.plugin.ts +++ b/src/sql/base/browser/ui/table/plugins/rowNumberColumn.plugin.ts @@ -52,7 +52,8 @@ export class RowNumberColumn implements Slick.Plugin { } public getColumnDefinition(): Slick.Column { - let columnWidth = this.options.numberOfRows.toString().length * sizePerDigit; + // that smallest we can make it is 22 due to padding and margins in the cells + let columnWidth = Math.max(this.options.numberOfRows.toString().length * sizePerDigit, 22); return { id: 'rowNumber', name: '',