Fix F5 not doing anything on the desktop; this is useful not only when kdirwatch is broken but also when
the mimetype of a file changes (e.g. cp /dev/null foo; echo bar > foo -- changes size but also mimetype).
CCBUG: 135427