3 Commits

Author	SHA1	Message	Date
Florian Müllner	e357559582	cleanup: Mark globals used from other modules as exported ... eslint cannot figure out that those symbols are used from other modules via imports, so they trigger unused-variable errors. To fix, explicitly mark those symbols as exported. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/627	2019-07-24 00:28:45 +02:00
Florian Müllner	fd50b9a45e	cleanup: Use destructuring for imports from GI ... This is *much* nicer than repetitive "imports.gi" lines ... https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/399	2019-02-09 07:39:20 +01:00
Carlos Garnacho	fab390826e	appDisplay: Separate PageIndicators to a separate file ... In order to cater for emoji panel usage, we want something like PageIndicators except: - It should have horizontal disposition - It should not be animatable (?) - It should not be reactive Separated PageIndicators into a base, non-animated widget, and an AnimatedPageIndicators that can be used on appDisplay.js. Reactiveness is set through an extra method, and layout is set as a construct argument.	2019-02-05 16:25:54 +01:00