Hi Beniot,
Try this for checking desktops. It works for me on Ubuntu 12.04. This of
course is a BASK script...
if [ "$XDG_CURRENT_DESKTOP" = "" ]then
desktop=$(echo "$XDG_DATA_DIRS" | sed 's/.*\(xfce\|kde\|gnome\).*/\1/')else
desktop=$XDG_CURRENT_DESKTOPfi
desktop=${desktop,,} # convert to
On Tue, 23 Sep 2014, Willy Raets wrote:
> On di, 2014-09-23 at 18:36 +0200, Beno??t Minisini wrote:
> > Le 23/09/2014 17:46, Tobias Boege a ??crit :
> > > Hi,
> > >
> > > someone reported an issue with DateBox's chooser popup. After
> > > double-clicking
> > > on a date, the popup would stay halfw
On di, 2014-09-23 at 18:36 +0200, Benoît Minisini wrote:
> Le 23/09/2014 17:46, Tobias Boege a écrit :
> > Hi,
> >
> > someone reported an issue with DateBox's chooser popup. After
> > double-clicking
> > on a date, the popup would stay halfways transparent and flicker according
> > to
> > the mo
Le 23/09/2014 17:46, Tobias Boege a écrit :
> Hi,
>
> someone reported an issue with DateBox's chooser popup. After double-clicking
> on a date, the popup would stay halfways transparent and flicker according to
> the mouse movements. The attached screenshot kind of shows this. Project is
> also at
