if (CAIRO_DOCK_ICON_TYPE_IS_LAUNCHER (icon) || CAIRO_DOCK_ICON_TYPE_IS_CONTAINER (icon))
114
if (GLDI_OBJECT_IS_USER_ICON (icon))
126
115
{
127
116
int index = GPOINTER_TO_INT (data);
128
117
_hide_launcher_on_other_desktops (icon, index);
143
132
else // the dock doesn't exist any more -> free the icon
144
133
{
145
134
icon->iSpecificDesktop = 0; // pour ne pas qu'elle soit enlevee de la liste en parallele.
146
cairo_dock_free_icon (icon);
135
gldi_object_unref (GLDI_OBJECT (icon));
147
136
}
148
137
}
149
138
}
159
148
int index = iCurrentDesktop * g_desktopGeometry.iNbViewportX * g_desktopGeometry.iNbViewportY + iCurrentViewportX * g_desktopGeometry.iNbViewportY + iCurrentViewportY + 1; // +1 car on commence a compter a partir de 1.
160
149
161
150
// first detach what shouldn't be shown on this desktop