/usr/share/kde4/apps/kwin/effects/kwin4_effect_fadedesktop/contents/code/main.js is in kde-window-manager-common 4:4.11.8-0ubuntu6.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 | /********************************************************************
KWin - the KDE window manager
This file is part of the KDE project.
Copyright (C) 2009 Lucas Murray <lmurray@undefinedfire.com>
Copyright (C) 2012 Martin Gräßlin <mgraesslin@kde.org>
This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2 of the License, or
(at your option) any later version.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with this program. If not, see <http://www.gnu.org/licenses/>.
*********************************************************************/
var duration;
function loadConfig() {
duration = animationTime(250);
}
loadConfig();
effect.configChanged.connect(function() {
loadConfig();
});
effects['desktopChanged(int,int)'].connect(function(oldDesktop, newDesktop) {
var stackingOrder = effects.stackingOrder;
for (var i=0; i<stackingOrder.length; i++) {
var w = stackingOrder[i];
if (w.desktop != oldDesktop && w.desktop != newDesktop) {
continue;
}
if (w.minimized) {
continue;
}
if (!w.isOnActivity(effects.currentActivity)){
continue;
}
if (w.desktop == oldDesktop) {
effect.animate(w, Effect.Opacity, duration, 0.0);
} else {
effect.animate(w, Effect.Opacity, duration, w.opacity, 0.0);
}
}
});
|