[devhelp] preferences: use a header bar and style it better

From: Ignacio Casal Quinteiro <icq src gnome org>
To: commits-list gnome org
Cc:
Subject: [devhelp] preferences: use a header bar and style it better
Date: Fri, 25 Jul 2014 13:18:19 +0000 (UTC)

Summary of changes:

  9397c76... preferences: use a header bar and style it better (*)

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