Files
gnome-shell-extensions/extensions/dock/extension.js
T
Giovanni Campagna 1463a6481e dock: update for gnome-shell API changes
Shell.get_event_state() was removed, use direct .get_state()
instead.
2012-03-01 21:05:14 +01:00

29 KiB