e@9: # This is an automatically generated file.
e@9: # Please see <file:/usr/share/doc/menu/README> for information.
e@9: 
e@9: # to use your own menu, copy this to ~/.fluxbox/menu, then edit
e@9: # ~/.fluxbox/init and change the session.menuFile path to ~/.fluxbox/menu
e@9: 
e@9: [begin] (Fluxbox)
e@9: 
e@9: # Automatically generated file. Do not edit (see /usr/share/doc/menu/html/index.html)
e@9: 
e@9:    [submenu] (radioplay-gen) {}
e@9:         [exec] (0 - Setup brat) { x-terminal-emulator -e "cd ~/brat && bash install.sh" }
e@9:         [exec] (1 - Semantic Analysis) { x-terminal-emulator -e "cd ~/chourdakisreiss2018smc/demo/workspace && bash semantic_analysis.sh" }
e@9:         [exec] (2 - Radioplay Render ) { x-terminal-emulator -e "cd ~/chourdakisreiss2018smc/demo/workspace && bash radioplay_render.sh" }     
e@9:         [exec] (X - Browse folder) { pcmanfm ~/chourdakisreiss2018smc }
e@9:    [end]
e@9:    [submenu] (Applications) {}
e@9:       [submenu] (Editors) {}
e@9:          [exec] (LeafPad) {/usr/bin/leafpad} </usr/share/pixmaps/leafpad.xpm>
e@9:       [end]
e@9:       [submenu] (Network) {}
e@9:          [submenu] (Web Browsing) {}
e@9:             [exec] (Google Chrome) {/opt/google/chrome/google-chrome} </opt/google/chrome/product_logo_32.xpm>
e@9:          [end]
e@9:       [end]
e@9:       [submenu] (Programming) {}
e@9:          [exec] (Tclsh8.6) { x-terminal-emulator -T "Tclsh8.6" -e /usr/bin/tclsh8.6} <>
e@9:          [exec] (TkWish8.6) {x-terminal-emulator -e /usr/bin/wish8.6} <>
e@9:       [end]
e@9:       [submenu] (Shells) {}
e@9:          [exec] (Bash) { x-terminal-emulator -T "Bash" -e /bin/bash --login} <>
e@9:          [exec] (Dash) { x-terminal-emulator -T "Dash" -e /bin/dash -i} <>
e@9:          [exec] (Sh) { x-terminal-emulator -T "Sh" -e /bin/sh --login} <>
e@9:       [end]
e@9:       [submenu] (System) {}
e@9:          [submenu] (Administration) {}
e@9:             [exec] (Editres) {editres} <>
e@9:             [exec] (Xfontsel) {xfontsel} <>
e@9:             [exec] (Xkill) {xkill} <>
e@9:             [exec] (Xrefresh) {xrefresh} <>
e@9:          [end]
e@9:          [submenu] (Hardware) {}
e@9:             [exec] (Xvidtune) {xvidtune} <>
e@9:          [end]
e@9:          [submenu] (Monitoring) {}
e@9:             [exec] (Top) { x-terminal-emulator -T "Top" -e /usr/bin/top} <>
e@9:             [exec] (Xev) {x-terminal-emulator -e xev} <>
e@9:          [end]
e@9:       [end]
e@9:       [submenu] (Terminal Emulators) {}
e@9:          [exec] (XTerm) {xterm} </usr/share/pixmaps/xterm-color_32x32.xpm>
e@9:          [exec] (XTerm (Unicode\)) {uxterm} </usr/share/pixmaps/xterm-color_32x32.xpm>
e@9:       [end]
e@9:    [end]
e@9: 
e@9:    [submenu] (Window Managers) {}
e@9:       [restart] (FluxBox)  {/usr/bin/startfluxbox}
e@9:    [end]
e@9: 
e@9:    [config] (Configuration)
e@9:    [submenu] (Styles) {}
e@9:       [stylesdir] (/usr/share/fluxbox/styles)
e@9:       [stylesdir] (~/.fluxbox/styles)
e@9:    [end]
e@9: 
e@9:    [workspaces] (Workspaces)
e@9:    [reconfig] (Reconfigure)
e@9:    [restart] (Restart)
e@9:    [exit] (Exit)
e@9: 
e@9: [end]