gnome-shell

History

Florian Müllner 71759a0769 cleanup: Mark unused (but useful) variables as ignored

While we aren't using those destructured variables, they are still useful
to document the meaning of those elements. We don't want eslint to keep
warning about them though, so mark them accordingly.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/627

2019-07-24 00:28:45 +02:00

extensionPrefs

extensionPrefs: Add missing return value

2019-07-22 13:18:55 +00:00

gdm

cleanup: Mark unused (but useful) variables as ignored

2019-07-24 00:28:45 +02:00

misc

cleanup: Mark unused (but useful) variables as ignored

2019-07-24 00:28:45 +02:00

perf

cleanup: Mark unused (but useful) variables as ignored