2023-10-01 05:19:31 -04:00
|
|
|
# -----------------------------------------------------
|
|
|
|
|
# Animations
|
2023-12-18 14:33:29 -05:00
|
|
|
# name "Default"
|
2023-10-01 05:19:31 -04:00
|
|
|
# -----------------------------------------------------
|
|
|
|
|
animations {
|
|
|
|
|
enabled = true
|
|
|
|
|
bezier = myBezier, 0.05, 0.9, 0.1, 1.05
|
|
|
|
|
animation = windows, 1, 7, myBezier
|
|
|
|
|
animation = windowsOut, 1, 7, default, popin 80%
|
|
|
|
|
animation = border, 1, 10, default
|
|
|
|
|
animation = borderangle, 1, 8, default
|
|
|
|
|
animation = fade, 1, 7, default
|
|
|
|
|
animation = workspaces, 1, 6, default
|
|
|
|
|
}
|
