Quick tweaks to resource viewer (v1) (#12210)

This commit is contained in:
Chris LaFreniere
2020-09-10 21:57:43 -07:00
committed by GitHub
parent 02ddfc20f1
commit 0f8fa0ccef
3 changed files with 11 additions and 1 deletions

View File

@@ -7,3 +7,10 @@
height: 100%; height: 100%;
width: 100%; width: 100%;
} }
.resource-viewer .actions-container .action-item .action-label {
padding-left: 20px;
padding-right: 5px;
background-size: 16px;
background-position: left;
}

View File

@@ -3,6 +3,7 @@
* Licensed under the Source EULA. See License.txt in the project root for license information. * Licensed under the Source EULA. See License.txt in the project root for license information.
*--------------------------------------------------------------------------------------------*/ *--------------------------------------------------------------------------------------------*/
import 'vs/css!./media/resourceViewerView';
import { Taskbar } from 'sql/base/browser/ui/taskbar/taskbar'; import { Taskbar } from 'sql/base/browser/ui/taskbar/taskbar';
import { DisposableStore } from 'vs/base/common/lifecycle'; import { DisposableStore } from 'vs/base/common/lifecycle';
import { CancellationToken } from 'vs/base/common/cancellation'; import { CancellationToken } from 'vs/base/common/cancellation';

View File

@@ -31,7 +31,8 @@ export class ResourceViewerTable extends Disposable {
this._dataView.sort(args); this._dataView.sort(args);
} }
}, { }, {
dataItemColumnValueExtractor: slickGridDataItemColumnValueExtractor dataItemColumnValueExtractor: slickGridDataItemColumnValueExtractor,
forceFitColumns: true
})); }));
this._resourceViewerTable.setSelectionModel(new RowSelectionModel()); this._resourceViewerTable.setSelectionModel(new RowSelectionModel());
let filterPlugin = new HeaderFilter<Slick.SlickData>(); let filterPlugin = new HeaderFilter<Slick.SlickData>();
@@ -39,6 +40,7 @@ export class ResourceViewerTable extends Disposable {
this._register(attachTableStyler(this._resourceViewerTable, this._themeService)); this._register(attachTableStyler(this._resourceViewerTable, this._themeService));
filterPlugin.onFilterApplied.subscribe(() => { filterPlugin.onFilterApplied.subscribe(() => {
this._dataView.filter(); this._dataView.filter();
this._resourceViewerTable.grid.invalidate();
this._resourceViewerTable.grid.render(); this._resourceViewerTable.grid.render();
this._resourceViewerTable.grid.resetActiveCell(); this._resourceViewerTable.grid.resetActiveCell();
this._resourceViewerTable.grid.resizeCanvas(); this._resourceViewerTable.grid.resizeCanvas();