fix border theme bug which prevented windows from unshading correctly when animation was disabled

This commit is contained in:
Mike Blumenkrantz 2013-04-26 08:04:53 +01:00
parent eb0ec1e00f
commit ed1615509a
3 changed files with 9 additions and 3 deletions

View File

@ -1,3 +1,7 @@
2013-04-26 Mike Blumenkrantz
* fixed theme bug which prevented windows from unshading correctly when animations were disabled
2013-04-25 Mike Blumenkrantz
* improve efm mouse movement detection for icons

1
NEWS
View File

@ -14,6 +14,7 @@ Improvements:
* add check for vmware window in another spot to disable key remapping
Fixes:
* fixed theme bug which prevented windows from unshading correctly when animations were disabled

View File

@ -591,11 +591,12 @@ group { name: "e/widgets/border/default/border";
}
// program {
// signal: "e,state,shading"; source: "e";
// }
// program {
// signal: "e,state,unshaded"; source: "e";
// }
program {
signal: "e,state,unshaded"; source: "e";
after: "unshading";
}
program { name: "unshading";
signal: "e,state,unshading"; source: "e";
action: STATE_SET "default" 0.0;
target: "e.swallow.client";