nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-02-17 09:34:36 +00:00
Code Issues Packages Projects Releases Wiki Activity

pantheon.wingpanel-indicator-datetime: Workaround for showing date numbers

Browse Source
This commit is contained in:
Bobby Rong 2022-09-21 13:39:42 +08:00 committed by Jan Tojnar
parent bb97eab688
commit c2f3c315ab
2 changed files with 44 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/desktops/pantheon/desktop/wingpanel-indicators/datetime/default.nix
View File

@ -37,6 +37,10 @@ stdenv.mkDerivation rec {
src = ./fix-paths.patch;
elementary_calendar = elementary-calendar;
})
# Workaround for showing date numbers (TODO: should try to fix upstream)
# https://github.com/elementary/calendar/issues/756#issuecomment-1252400047
./partly-revert-pr-150.patch
];
nativeBuildInputs = [

40
pkgs/desktops/pantheon/desktop/wingpanel-indicators/datetime/partly-revert-pr-150.patch Normal file
View File

@ -0,0 +1,40 @@
diff --git a/src/Widgets/calendar/Grid.vala b/src/Widgets/calendar/Grid.vala
index e440306..21a631a 100644
--- a/src/Widgets/calendar/Grid.vala
+++ b/src/Widgets/calendar/Grid.vala
@@ -229,7 +229,7 @@ namespace DateTime.Widgets {
day.sensitive_container (false);
}
- day.date = new_date;
+ day.update_date (new_date);
return day;
}
diff --git a/src/Widgets/calendar/GridDay.vala b/src/Widgets/calendar/GridDay.vala
index 8602875..7bd6140 100644
--- a/src/Widgets/calendar/GridDay.vala
+++ b/src/Widgets/calendar/GridDay.vala
@@ -79,10 +79,6 @@ public class DateTime.Widgets.GridDay : Gtk.EventBox {
button_press_event.connect (on_button_press);
key_press_event.connect (on_key_press);
- notify["date"].connect (() => {
- label.label = date.get_day_of_month ().to_string ();
- });
-
component_dots = new Gee.HashMap<string, Gtk.Widget> ();
}
@@ -124,6 +120,11 @@ public class DateTime.Widgets.GridDay : Gtk.EventBox {
}
}
+ public void update_date (GLib.DateTime date) {
+ this.date = date;
+ label.label = date.get_day_of_month ().to_string ();
+ }
+
public void set_selected (bool selected) {
if (selected) {
set_state_flags (Gtk.StateFlags.SELECTED, true);