problem running new panel

Nicolas Masse masse_nicolas at yahoo.fr
Fri Sep 16 22:48:35 CEST 2005


On Fri, 16 Sep 2005 17:27:02 +0200
Nicolas Masse <masse_nicolas at yahoo.fr> wrote:
>....
> 
> I've also another annoying bug about the config:
> 
> For now, I've 5 launchers on the panel, but when the config is save, only the 4 first are saved and the 4st is duplicated.
> Looking to the config files, I have this:
>  pwd
> /home/nic/.config/xfce4/panel
> bash-2.05b$ ls
> contents.xml      launcher-1125678680.rc  launcher-1125678736.rc  panels.xml
> contents.xml.bak  launcher-1125678735.rc  launcher-4.rc
> 
> NOTE:only 4 launcher
> 
> bash-2.05b$ less panels.xml
> ...
>                 <items>
>                         <item name="launcher" id="4"/>
>                         <item name="launcher" id="1125678680"/>
>                         <item name="launcher" id="1125678735"/>
>                         <item name="launcher" id="1125678736"/>
>                         <item name="launcher" id="1125678736"/> (!!!)
>                 </items>
> ...
> 
> I'm having a look at the code, but don't see where it comes from yet.
> 

I think I found the problem. In fact, this comes from the id of each plugin. It can happens that 2 or more plugin have the same id. I think it comes from the way you attribute this id:
(correct me if I'm wrong) for this, you are using a time func, wich must give a different number depending on the system clock. But on fast computer like mine (what?), it is possible to create 2 insatnces of a plugin in so short delay that the system time is not updated. The consequence is that you give the same id to different plugins. Perhaps it does not happen to the other launcher because of the cpu cache not being used or something like that. I' ve also tried to add more launcher, the result is that after the 4st launcher, this problem happen more often.
I'll try to change the way the id is atributed to see if it works.

> 
> Masse Nicolas.
> 

Me again ;-)



More information about the Xfce4-dev mailing list