Похоже, что это было специальное расширение для оконного менеджера awesome , судя по исходный код .
В статье о Jolicloud DE также упоминается отличный оконный менеджер:
Во-вторых, вместо Metacity или Compiz используется легкий Awesome Window Manager, поэтому традиционные сочетания клавиш или необычные оконные эффекты не работают.