[gnome-shell] pageIndicators: Redesign and add position-based animation

From: Florian Müllner <fmuellner src gnome org>
To: commits-list gnome org
Cc:
Subject: [gnome-shell] pageIndicators: Redesign and add position-based animation
Date: Fri, 22 Nov 2019 22:06:49 +0000 (UTC)

Summary of changes:

  109f39a... pageIndicators: Redesign and add position-based animation (*)

(*) This commit already existed in another branch; no separate mail sent

[Date Prev][Date Next] [Thread Prev][Thread Next] [Thread Index] [Date Index] [Author Index]