From 3f60b6cf0bef76fd584898daf0f59f60d639fe66 Mon Sep 17 00:00:00 2001 From: Nick Barry Date: Thu, 22 Nov 2018 11:41:12 -0600 Subject: [PATCH] do not allow TreeView .caret_tv element to shrink --- src/app/ui/TreeView.js | 1 + 1 file changed, 1 insertion(+) diff --git a/src/app/ui/TreeView.js b/src/app/ui/TreeView.js index 7601a707f3..8396a37854 100644 --- a/src/app/ui/TreeView.js +++ b/src/app/ui/TreeView.js @@ -21,6 +21,7 @@ var css = csjs` } .caret_tv { width: 10px; + flex-shrink: 0; } .label_tv { display: flex;