[gnome-games] (6 commits) ...preferences-window: Drop page child properties

From: Alexander Mikhaylenko <alexm src gnome org>
To: commits-list gnome org
Cc:
Subject: [gnome-games] (6 commits) ...preferences-window: Drop page child properties
Date: Sun, 21 Oct 2018 14:24:32 +0000 (UTC)

Summary of changes:

  60feff0... preferences-page: Add 'title' property (*)
  339a685... preferences-window: Use page title for headerbar (*)
  5125de4... ui: Add PreferencesSidebarItem (*)
  76db28a... ui: Add PreferencesSidebar (*)
  ff1acf0... preferences-window: Use PreferencesSidebar as sidebar (*)
  844ff36... preferences-window: Drop page child properties (*)

(*) 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]