Hi, I noticed minicmd plugin is not in RC4, is this feature going to disappear from xfce4? I really think it's a nice feature to have in the panel, so I hope it will be available! regards, Duarte Henriques