[PATCH] Don't allow to rename desktop file (#125637).



Patch attached to #125637 [1]. I'm not sure whether it is a good idea to
merge the file_is_desktop/desktop_is_file functions. One of it refers to
the virtual desktop file, the other one to ~/Desktop.

regs,
 Chris

[1] http://bugzilla.gnome.org/show_bug.cgi?id=125637




[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]