ref: ecb49feb3ff1137a9542eff4028d08b63f50c538
parent: 122800cce146d27469732425b2775572d9fc2e68
author: Simon Tatham <anakin@pobox.com>
date: Sat Jun 8 12:53:57 EDT 2013
Add comment to remind myself (and anyone else) how to refresh the XFCE menu. [originally from svn r9860]
--- a/desktop.pl
+++ b/desktop.pl
@@ -6,7 +6,8 @@
# working on the puzzles and want to play your bleeding-edge locally
# modified and compiled versions, run this script and it will create a
# collection of desktop files in ~/.local/share/applications where
-# XFCE can pick them up and add them to its main menu.
+# XFCE can pick them up and add them to its main menu. (Be sure to run
+# 'xfdesktop --reload' after running this.)
#
# (If you don't use XFCE, patches to support other desktop
# environments are welcome :-)