From f351de8d11f14a498be3d96398fa62aa473090cd Mon Sep 17 00:00:00 2001 From: Joao Moreno Date: Tue, 19 Sep 2017 07:54:06 +0200 Subject: [PATCH] splitview: round sizes --- src/vs/base/browser/ui/splitview/splitview2.ts | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/vs/base/browser/ui/splitview/splitview2.ts b/src/vs/base/browser/ui/splitview/splitview2.ts index 3922591a095..e8ae8eeacdd 100644 --- a/src/vs/base/browser/ui/splitview/splitview2.ts +++ b/src/vs/base/browser/ui/splitview/splitview2.ts @@ -104,6 +104,7 @@ export class SplitView implements IDisposable { previousSize = item.size; }; + size = Math.round(size); const explicitSize = size; const item: IViewItem = { view, container, explicitSize, size, layout, disposable }; this.viewItems.splice(index, 0, item); @@ -214,6 +215,7 @@ export class SplitView implements IDisposable { return; } + size = Math.round(size); this.resize(index, size - this.viewItems[index].size); }