[gnome-music] playlistdialog: Use margins instead of border-width property

From: Jean Felder <jfelder src gnome org>
To: commits-list gnome org
Cc:
Subject: [gnome-music] playlistdialog: Use margins instead of border-width property
Date: Wed, 2 Feb 2022 23:48:37 +0000 (UTC)

Summary of changes:

  b194db3... playlistdialog: Use margins instead of border-width propert (*)

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