jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-11-10 02:48:33 +00:00
Code Issues Packages Projects Releases Wiki Activity

Increase sketchbook tree indentation to reflect design system (#1148)

Browse Source
This commit is contained in:
Francesco Spissu
2022-07-05 14:10:56 +02:00
committed by GitHub
parent ea42dc52fd
commit b1e00e6ff2
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
arduino-ide-extension/src/browser/widgets/sketchbook/sketchbook-tree-widget.tsx
View File

@@ -27,7 +27,7 @@ import { Sketch } from '../../contributions/contribution';
import { nls } from '@theia/core/lib/common'; import { nls } from '@theia/core/lib/common';
const customTreeProps: TreeProps = { const customTreeProps: TreeProps = {
leftPadding: 20, leftPadding: 26,
expansionTogglePadding: 6, expansionTogglePadding: 6,
}; };