From ecb49feb3ff1137a9542eff4028d08b63f50c538 Mon Sep 17 00:00:00 2001 From: Simon Tatham Date: Sat, 8 Jun 2013 16:53:57 +0000 Subject: [PATCH] Add comment to remind myself (and anyone else) how to refresh the XFCE menu. [originally from svn r9860] --- desktop.pl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/desktop.pl b/desktop.pl index 18b68ee..151b075 100755 --- 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 :-)