gjdwebserver/gjdwebserver-overlay
gjdwebserver/gjdwebserver-overlay
3
0
Fork 0
Code Pull Requests Releases Activity

Added patch

Browse Source
This commit is contained in:
Gerben Jan Dijkman 2023-05-02 15:41:14 +02:00
parent 012ab3187f
commit faaa965cfe
2 changed files with 19 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
gnome-extra/health/files/190.patch Normal file
View File

@ -0,0 +1,15 @@
diff --git a/data/ui/setup_window.blp b/data/ui/setup_window.blp
index 798719db9b92beff8a40d76364036fab008152a3..e162f7814291fefaef552175352ed0c2d4fa5cd4 100644
--- a/data/ui/setup_window.blp
+++ b/data/ui/setup_window.blp
@@ -305,8 +305,8 @@ template HealthSetupWindow : Adw.ApplicationWindow {
}
Adw.Clamp {
- maximum-size: "400";
- tightening-threshold: "200";
+ maximum-size: 400;
+ tightening-threshold: 200;
valign: center;
vexpand: true;
hexpand: true;

4
gnome-extra/health/health-0.94.0.ebuild
View File

@ -26,6 +26,10 @@ RDEPEND="
DEPEND="${RDEPEND}" DEPEND="${RDEPEND}"
PATCHES=(
${FILESDIR}/190.patch
)
pkg_postinst() { pkg_postinst() {
xdg_pkg_postinst xdg_pkg_postinst
gnome2_schemas_update gnome2_schemas_update