user config: add date format #307

.config/ags/modules/.commonwidgets/notification.js

@@ -222,7 +222,7 @@ export default ({
     else if (messageTime.get_day_of_year() == GLib.DateTime.new_now_local().get_day_of_year() - 1)
         notifTime = 'Yesterday';
     else
-        notifTime = messageTime.format('%d/%m');
+        notifTime = messageTime.format(userOptions.time.dateFormat);
     const notifTextSummary = Label({
         xalign: 0,
         className: 'txt-small txt-semibold titlefont',

.config/ags/modules/bar/normal/system.js

@@ -45,9 +45,9 @@ const BarClock = () => Widget.Box({
         }),
         Widget.Label({
             className: 'txt-smallie',
-            label: GLib.DateTime.new_now_local().format("%A, %d/%m"),
+            label: GLib.DateTime.new_now_local().format(userOptions.time.dateFormatLong),
-            setup: (self) => self.poll(5000, label => {
+            setup: (self) => self.poll(userOptions.time.dateInterval, (label) => {
-                label.label = GLib.DateTime.new_now_local().format("%A, %d/%m");
+                label.label = GLib.DateTime.new_now_local().format(userOptions.time.dateFormatLong);
             }),
         }),
     ],

.config/ags/modules/desktopbackground/timeandlaunches.js

@@ -25,9 +25,9 @@ const TimeAndDate = () => Box({
         Label({
             className: 'bg-time-date',
             xalign: 0,
-            label: GLib.DateTime.new_now_local().format("%A, %d/%m/%Y"),
+            label: GLib.DateTime.new_now_local().format(userOptions.time.dateFormatLong),
-            setup: (self) => self.poll(5000, label => {
+            setup: (self) => self.poll(userOptions.time.dateInterval, (label) => {
-                label.label = GLib.DateTime.new_now_local().format("%A, %d/%m/%Y");
+                label.label = GLib.DateTime.new_now_local().format(userOptions.time.dateFormatLong);
             }),
         }),
     ]

.config/ags/user_options.js

@@ -44,6 +44,9 @@ let userConfigOptions = {
         // For seconds, add "%S" and set interval to 1000
         'format': "%H:%M",
         'interval': 5000,
+        'dateFormatLong': "%A, %d/%m", // On bar
+        'dateInterval': 5000,
+        'dateFormat': "%d/%m", // On notif time
     },
     'weather': {
         'city': "",