Adel Gadllah 0968e556fa WindowDimmer: Make effect private
There is no need for making this public as it is only accessed from within
WindowDimmer.
2011-10-03 18:22:58 +02:00
..
2011-08-11 05:35:23 -04:00
2010-07-19 01:46:01 +02:00
2010-07-19 01:46:01 +02:00