blob: 091ea0744de33efab02548caa0f3e797495d8a8e (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
|
// ! DO NOT EDIT !
// ! AUTO-GENERATED BY DMS !
// ! CHANGES WILL BE OVERWRITTEN !
// ! PLACE YOUR CUSTOM CONFIGURATION ELSEWHERE !
recent-windows {
highlight {
corner-radius 12
}
}
|