themes_customize.md: fix Window.border sample (IJSDK-923)

This commit is contained in:
Yann Cébron 2020-08-31 12:33:30 +02:00
parent d9912aa779
commit c5e9199ed8

View File

@ -258,7 +258,7 @@ The following example sets a new border width and color for all windows:
```json ```json
{ {
"ui": { "ui": {
"Window.border" : "4, 4, 4, 4, E6E6E6" "Window.border" : "4,4,4,4,E6E6E6"
} }
} }
``` ```