2023-10-01 09:19:31 +00:00
|
|
|
# -----------------------------------------------------
|
|
|
|
# Animations
|
2023-11-21 21:30:20 +00:00
|
|
|
# name: "Default"
|
2023-10-01 09:19:31 +00: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
|
|
|
|
}
|