about xfdashboard and xfce4-whiskermenu plugin