Add compact dateformat mode (#2646)

Author: jeremypw

data/schemas/io.elementary.files.gschema.xml

@@ -20,6 +20,7 @@
     <value value="0" nick="iso"/>
     <value value="1" nick="locale"/>
     <value value="2" nick="informal"/>
+    <value value="3" nick="compact"/>
   </enum>
   <enum id="windowstate">
     <value value="0" nick="normal"/>

libcore/Enums.vala

@@ -258,7 +258,8 @@ namespace Files {
     public enum DateFormatMode {
         ISO,
         LOCALE,
-        INFORMAL;
+        INFORMAL,
+        COMPACT;
 
         public string to_string () {
             switch (this) {
@@ -269,6 +270,9 @@ namespace Files {
                     return _("Locale");
                 case INFORMAL:
                     return _("Informal");
+                case COMPACT:
+                    ///TRANSLATORS Adjective applied to datetime format
+                    return _("Compact");
                 default:
                     assert_not_reached ();
             }

libcore/FileUtils.vala

@@ -632,6 +632,9 @@ namespace Files.FileUtils {
                 return dt.format ("%c");
             case DateFormatMode.ISO:
                 return dt.format ("%Y-%m-%d %H:%M:%S");
+            case DateFormatMode.COMPACT :
+                var locale_format_string = Posix.nl_langinfo (D_FMT);
+                return dt.format (string.join (" ", locale_format_string.down (), "%H:%M"));
             default:
                 return get_informal_date_time (dt);
         }

src/View/Widgets/AppMenu.vala

@@ -121,6 +121,8 @@ public class Files.AppMenu : Gtk.Popover {
         locale_button.get_style_context ().add_class (Gtk.STYLE_CLASS_MENUITEM);
         var informal_button = new Gtk.RadioButton.with_label_from_widget (iso_button, DateFormatMode.INFORMAL.to_string ());
         informal_button.get_style_context ().add_class (Gtk.STYLE_CLASS_MENUITEM);
+        var compact_button = new Gtk.RadioButton.with_label_from_widget (iso_button, DateFormatMode.COMPACT.to_string ());
+        compact_button.get_style_context ().add_class (Gtk.STYLE_CLASS_MENUITEM);
 
         var menu_box = new Gtk.Box (VERTICAL, 0) {
             margin_bottom = 6
@@ -141,6 +143,7 @@ public class Files.AppMenu : Gtk.Popover {
         menu_box.add (iso_button);
         menu_box.add (locale_button);
         menu_box.add (informal_button);
+        menu_box.add (compact_button);
 
         menu_box.show_all ();
 
@@ -167,6 +170,9 @@ public class Files.AppMenu : Gtk.Popover {
             case DateFormatMode.INFORMAL:
                 informal_button.active= true;
                 break;
+            case DateFormatMode.COMPACT:
+                compact_button.active= true;
+                break;
             default:
                 assert_not_reached ();
         }
@@ -186,6 +192,11 @@ public class Files.AppMenu : Gtk.Popover {
                 app_settings.set_enum ("date-format", DateFormatMode.INFORMAL);
             }
         });
+        compact_button.toggled.connect (() => {
+            if (compact_button.active) {
+                app_settings.set_enum ("date-format", DateFormatMode.COMPACT);
+            }
+        });
     }
 
     private void set_undo_redo_tooltips () {