Re: Bug in PRCommandsWidget?