shuairan/gTile — pull request #16 by TransposableBeuss (2013-05-06 11:32:06+00:00)
Title: Update extension.js

Modification for making work on Cinnamon 1.8.0.
panelMenu.js seems to do not exist anymore in Cinnamon 1.8.0 and replaced by panel.js (checked on Cinnamon git repository).

const PanelMenu = imports.ui.panelMenu;
replaced by :
const PanelMenu = imports.ui.panel;