equal
deleted
inserted
replaced
42 |
42 |
43 AddToMenu MenuMy Media Title |
43 AddToMenu MenuMy Media Title |
44 + "Peoplenet" Exec exec xterm -e /usr/bin/pon |
44 + "Peoplenet" Exec exec xterm -e /usr/bin/pon |
45 + VLC Exec exec vlc |
45 + VLC Exec exec vlc |
46 + Stardict Exec exec stardict |
46 + Stardict Exec exec stardict |
|
47 + xkill Exec exec xkill |
47 |
48 |
|
49 # Use interactive bash mode to read profile (~/.bashrc) to override default |
|
50 # value of PS1. |
48 AddToMenu Utilities Utilities Title |
51 AddToMenu Utilities Utilities Title |
49 + Xterm Exec exec xterm -e bash |
52 + Xterm Exec exec xterm -e bash -i |
50 + Mc Exec exec xterm -fn "-misc-fixed-medium-r-*-*-18-*-*-*-*-*-iso10646-1" -geometry 120x42 -e mc -x |
53 + Mc Exec exec xterm -fn "-misc-fixed-medium-r-*-*-18-*-*-*-*-*-iso10646-1" \ |
|
54 -geometry 120x42 -e bash -i -c "mc -x" |
51 + Emacs Exec exec emacs |
55 + Emacs Exec exec emacs |
52 |
56 |
53 + debian Popup "/Debian" |
57 + debian Popup "/Debian" |
54 + my Popup MenuMy |
58 + my Popup MenuMy |
55 + fvwm Popup MenuFvwmRoot |
59 + fvwm Popup MenuFvwmRoot |