[gtk] (3 commits) ...Merge branch 'replace-hardcoded-margins' into 'master'

From: Matthias Clasen <matthiasc src gnome org>
To: commits-list gnome org
Cc:
Subject: [gtk] (3 commits) ...Merge branch 'replace-hardcoded-margins' into 'master'
Date: Thu, 20 Aug 2020 00:30:38 +0000 (UTC)

Summary of changes:

  9b42edb... tooltip: Replace hard-coded margins with theme
  19c2cc1... placessidebar: Replace hard-coded margins with theme
  2031bcd... Merge branch 'replace-hardcoded-margins' into 'master'

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