fluxMenu: Fluxmenu (A graphical menu editor for FluxBox window manager)
fluxMenu:
fluxMenu: Fluxmenu is a PyGTK tool that includes an editor and can set
fluxMenu: and change menu icons for the Fluxbox window manager.
fluxMenu: 
fluxMenu: 
fluxMenu: 
fluxMenu: 
fluxMenu: 
fluxMenu: 
fluxMenu: