Merge lp:~artem-anufrij/audience/library-context-menu into lp:~audience-members/audience/trunk

[Artem Anufrij]

Add right click menu to set artwork and move library items to trash

[Danielle Foré (danrabbit)]

Menu items are Title Case ;)

"Rename video title" is pretty excessive. In Files we just use "Rename"

review: Needs Fixing

[lp:~artem-anufrij/audience/library-context-menu]

663. By Artem Anufrij on 2016-09-23

renamed context menu items

664. By Artem Anufrij on 2016-09-23

renamed context menu items

665. By Artem Anufrij on 2016-09-23

left click fixed

666. By Artem Anufrij on 2016-09-23

removed 'restore artwork'

667. By Artem Anufrij on 2016-09-24

context menu: renaming and setting artwork

668. By Artem Anufrij on 2016-09-24

added menu item 'move to trash

669. By Artem Anufrij on 2016-09-24

added menu item 'move to trash

670. By Artem Anufrij on 2016-09-24

added a separator

671. By Artem Anufrij on 2016-09-24

improved renaming videos

[Danielle Foré (danrabbit)]

For the rename stack, you should probably use a crossfade instead of a slide since we're changing the item state and not really navigating or moving a thing.

I think "Move to Trash" needs to come with an undo pattern. Specifically both ctrl + z and I would like to make use of undo via in-app notifications like in Online Accounts.

In this latest revision, I seem to be missing the "Set Artwork" item. Is that intentional?

[Artem Anufrij (artem-anufrij)]

"Set Artwork" is hidden for videos with a cover in same folder:
videos/myvideo.mpg
videos/cover.jpg

Artworks can be set only for videos without a cover file.

what do you think about that?

[Danielle Foré (danrabbit)]

I think that ideally people don't have to open the file manager to change the artwork. The library view should be self sufficient.

[lp:~artem-anufrij/audience/library-context-menu]

672. By Artem Anufrij on 2016-09-24

ctrl+z for undo trashed files & set artwork for all items

673. By Artem Anufrij on 2016-09-24

improved thumbnails

[Danielle Foré (danrabbit)]

* I can't confirm that Set Artwork works anymore

* Having a separator between rename and set artwork seems excessive since both of these items are about editing metadata

* Just making a note about using in-app notifications for undo like we talked in Slack

* If I move both items to trash, I think it should go back to the welcome screen instead of showing an empty Library

* Changing the name seems to change the artwork. I think that's probably not desired

[lp:~artem-anufrij/audience/library-context-menu]

674. By Artem Anufrij on 2016-09-24

added a notification box

675. By Artem Anufrij on 2016-09-24

back to welcomescreen after deleting last item

[Danielle Foré (danrabbit)]

* I think when you've removed all items it should return to the welcome immediately and not wait until after you've clicked the close button. See online accounts. I think this makes it faster to get to the next action

* It looks like there's an issue where if you remove everything, go back to the welcome, then restore those items in files, then go back to the library, you'll get an empty app notification (just shows as a thin white bar)

[lp:~artem-anufrij/audience/library-context-menu]

676. By Artem Anufrij on 2016-09-24

removed 'rename' function; fixed 'set artwork'

677. By Artem Anufrij on 2016-09-25

moved notification box into main window

678. By Artem Anufrij on 2016-09-25

grab_focus for scrolled window

[Danielle Foré (danrabbit)]

Hey right on. This seems to work fully as expected to me :)

review: Approve (ux)

[lp:~artem-anufrij/audience/library-context-menu]

679. By Artem Anufrij on 2016-09-25

fixed tiny line

=== modified file 'src/Objects/Video.vala'
--- src/Objects/Video.vala	2016-09-22 15:39:32 +0000
+++ src/Objects/Video.vala	2016-09-25 00:39:06 +0000
@@ -24,13 +24,14 @@
 
         public signal void poster_changed ();
         public signal void title_changed ();
+        public signal void trashed (Video video);
 
         public File video_file { get; private set; }
         public string directory { get; construct set; }
         public string file { get; construct set; }
 
         public string title { get; private set; }
-        public int year { get; private set; }
+        public int year { get; private set; default = -1;}
 
         public Gdk.Pixbuf? poster { get; private set; }
 
@@ -38,6 +39,7 @@
         public string poster_cache_file { get; private set; }
 
         public string hash { get; construct set; }
+        public string thumbnail_large_path { get; construct set;}
 
         public Video (string directory, string file, string mime_type) {
             Object (directory: directory, file: file, mime_type: mime_type);
@@ -52,8 +54,9 @@
             this.extract_metadata ();
             video_file = File.new_for_path (this.get_path ());
 
-            hash = GLib.Checksum.compute_for_string (ChecksumType.MD5, this.get_path (), this.get_path ().length);
+            hash = GLib.Checksum.compute_for_string (ChecksumType.MD5, video_file.get_uri (), video_file.get_uri ().length);
 
+            thumbnail_large_path = Path.build_filename (GLib.Environment.get_user_cache_dir (),"thumbnails", "large", hash + ".png");
             poster_cache_file = Path.build_filename (App.get_instance ().get_cache_directory (), hash + ".jpg");
 
             notify["poster"].connect (() => {
@@ -69,7 +72,7 @@
             MatchInfo info;
             if (manager.regex_year.match (this.title, 0, out info)) {
                 this.year = int.parse (info.fetch (0).substring (1, 4));
-                this.title = this.title.replace (info.fetch (0) + ")", "");
+                this.title = this.title.replace (info.fetch (0) + ")", "").strip ();
             }
         }
 
@@ -85,7 +88,7 @@
 
             ThreadFunc<void*> run = () => {
 
-                string poster_path = poster_cache_file;
+                string? poster_path = poster_cache_file;
                 pixbuf = get_poster_from_file (poster_path);
 
                 // POSTER in Cache exists
@@ -94,24 +97,9 @@
                     return null;
                 }
 
-                // Try to find a POSTER in same folder of video file
-                if (pixbuf == null) {
-                    poster_path = this.get_path () + ".jpg";
-                    pixbuf = get_poster_from_file (poster_path);
-                }
-
-                if (pixbuf == null) {
-                    poster_path = Path.build_filename (this.directory, Audience.get_title (file) + ".jpg");
-                    pixbuf = get_poster_from_file (poster_path);
-                }
-
-                foreach (string s in Audience.settings.poster_names) {
-                    if (pixbuf == null) {
-                        poster_path = Path.build_filename (this.directory, s);
-                        pixbuf = get_poster_from_file (poster_path);
-                    } else {
-                        break;
-                    }
+                poster_path = get_native_poster_path ();
+                if (poster_path != null) {
+                    pixbuf = get_poster_from_file (poster_path);
                 }
 
                 // POSTER found
@@ -126,9 +114,8 @@
                 }
 
                 // Check if THUMBNAIL exists
-                string? thumbnail_path = manager.get_thumbnail_path (video_file);
-                if (thumbnail_path != null) {
-                    pixbuf = get_poster_from_file (thumbnail_path);
+                if (File.new_for_path (thumbnail_large_path).query_exists ()) {
+                    pixbuf = get_poster_from_file (thumbnail_large_path);
                     Idle.add ((owned) callback);
                     return null;
                 }
@@ -158,11 +145,8 @@
         }
 
         private void dbus_finished (uint heandle) {
-            if (poster == null) {
-                string? thumbnail_path = manager.get_thumbnail_path (video_file);
-                if (thumbnail_path != null) {
-                    poster = get_poster_from_file (thumbnail_path);
-                }
+            if (poster == null && File.new_for_path (thumbnail_large_path).query_exists ()) {
+                poster = get_poster_from_file (thumbnail_large_path);
             }
         }
 
@@ -192,5 +176,42 @@
 
             return pixbuf;
         }
+
+        public string? get_native_poster_path () {
+            string poster_path = this.get_path () + ".jpg";
+            File file_poster = File.new_for_path (poster_path);
+
+            if (file_poster.query_exists ())
+                return poster_path;
+
+            poster_path = Path.build_filename (this.directory, Audience.get_title (file) + ".jpg");
+            file_poster = File.new_for_path (poster_path);
+
+            if (file_poster.query_exists ())
+               return poster_path;
+
+            foreach (string s in Audience.settings.poster_names) {
+                poster_path = Path.build_filename (this.directory, s);
+                file_poster = File.new_for_path (poster_path);
+                if (file_poster.query_exists ())
+                   return poster_path;
+            }
+
+            return null;
+        }
+        
+        public void set_new_poster (Gdk.Pixbuf? new_poster) {
+            manager.clear_cache (this);
+            poster = new_poster;
+        }
+
+        public void trash () {
+            try {
+                video_file.trash ();
+                trashed (this);
+            } catch (Error e) {
+                warning (e.message);
+            }
+        }
     }
 }

=== modified file 'src/Services/LibraryManager.vala'
--- src/Services/LibraryManager.vala	2016-09-22 15:22:27 +0000
+++ src/Services/LibraryManager.vala	2016-09-25 00:39:06 +0000
@@ -27,6 +27,7 @@
 
         public signal void video_file_detected (Audience.Objects.Video video);
         public signal void video_file_deleted (string path);
+        public signal void video_moved_to_trash (Audience.Objects.Video video);
         public signal void finished ();
 
         public Regex regex_year { get; construct set; }
@@ -37,6 +38,8 @@
         private Gee.ArrayList<string> poster_hash;
         private Gee.ArrayList<FileMonitor> monitoring_directories;
 
+        private Gee.ArrayList<Audience.Objects.Video> trashed_files;
+
         public static LibraryManager instance = null;
         public static LibraryManager get_instance () {
             if (instance == null) {
@@ -50,6 +53,7 @@
         }
 
         construct {
+            trashed_files = new Gee.ArrayList<Audience.Objects.Video> ();
             poster_hash = new Gee.ArrayList<string> ();
             monitoring_directories = new Gee.ArrayList<FileMonitor> ();
             try {
@@ -123,38 +127,11 @@
             }
             var video = new Audience.Objects.Video (source, name, file_info.get_content_type ());
             video_file_detected (video);
+            video.trashed.connect (deleted_items);
             poster_hash.add (video.hash + ".jpg");
             has_items = true;
         }
 
-        public string? get_thumbnail_path (File file) {
-            if (!file.is_native ()) {
-                return null;
-            }
-            string? path = null;
-            try {
-                var info = file.query_info (FileAttribute.THUMBNAIL_PATH + "," + FileAttribute.THUMBNAILING_FAILED, FileQueryInfoFlags.NONE);
-                path = info.get_attribute_as_string (FileAttribute.THUMBNAIL_PATH);
-                var failed = info.get_attribute_boolean (FileAttribute.THUMBNAILING_FAILED);
-
-                if (failed || path == null) {
-                    return null;
-                }
-
-                path = path.replace ("normal", "large");
-
-                File large_thumbnail = File.new_for_path (path);
-                if (!large_thumbnail.query_exists ()) {
-                    return null;
-                }
-            } catch (Error e) {
-                warning (e.message);
-                return null;
-            }
-
-            return path;
-        }
-
         public void clear_cache (Audience.Objects.Video video) {
             File file = File.new_for_path (video.poster_cache_file);
             if (file.query_exists ()) {
@@ -163,20 +140,61 @@
         }
 
         public async void clear_unused_cache_files () {
-            File directory = File.new_for_path (App.get_instance ().get_cache_directory ());
+            string[] hash_items = poster_hash.to_array ();
+            ThreadFunc<void*> run = () => {
+
+                File directory = File.new_for_path (App.get_instance ().get_cache_directory ());
+                try {
+                    var children = directory.enumerate_children (FileAttribute.STANDARD_NAME, 0);
+                    if (children != null) {
+                        FileInfo file_info;
+                        while ((file_info = children.next_file ()) != null) {
+                            foreach (unowned string hash_item in hash_items) {
+                                if (hash_item == file_info.get_name ()) {
+                                    continue;
+                                }
+                                children.get_child (file_info).delete_async.begin ();
+                            }
+                        }
+                    }
+                } catch (Error e) {
+                    warning (e.message);
+                }
+
+                return null;
+            };
+
             try {
-                var children = directory.enumerate_children (FileAttribute.STANDARD_NAME, 0);
-
-                if (children != null) {
+                new Thread<void*>.try (null, run);
+            } catch (Error e) {
+                error (e.message);
+            }
+        }
+
+        private void deleted_items (Audience.Objects.Video video) {
+            trashed_files.add (video);
+            video_moved_to_trash (video);
+        }
+
+        public void undo_delete_item () {
+            if (trashed_files.size > 0) {
+                Audience.Objects.Video restore = trashed_files.last ();
+                File trash = File.new_for_uri ("trash:///");
+                try {
+                    var children = trash.enumerate_children (FileAttribute.TRASH_ORIG_PATH, 0);
                     FileInfo file_info;
                     while ((file_info = children.next_file ()) != null) {
-                        if (!poster_hash.contains (file_info.get_name ())) {
-                            children.get_child (file_info).delete_async.begin ();
+                        string orinal_path = file_info.get_attribute_as_string (FileAttribute.TRASH_ORIG_PATH);
+                        if (orinal_path == restore.video_file.get_path ()) {
+                            File restore_file = File.new_for_uri ("trash:///" + restore.video_file.get_basename ());
+                            restore_file.move (restore.video_file, 0);
+                            trashed_files.remove (restore);
+                            return;
                         }
                     }
+                } catch (Error e) {
+                    error (e.message);
                 }
-            } catch (Error e) {
-                warning (e.message);
             }
         }
     }

=== modified file 'src/Widgets/LibraryItem.vala'
--- src/Widgets/LibraryItem.vala	2016-09-21 17:12:09 +0000
+++ src/Widgets/LibraryItem.vala	2016-09-25 00:39:06 +0000
@@ -22,14 +22,21 @@
 namespace Audience {
     public class LibraryItem : Gtk.FlowBoxChild  {
 
+        Gtk.EventBox event_box;
         Gtk.Grid grid;
         public Audience.Objects.Video video { get; construct set; }
 
         Gtk.Image poster;
-        Gtk.Label title;
+
+        Gtk.Label title_label;
+
         Gtk.Spinner spinner;
         Gtk.Grid spinner_container;
 
+        Gtk.Menu context_menu;
+        Gtk.MenuItem new_cover;
+        Gtk.MenuItem move_to_trash;
+
         public LibraryItem (Audience.Objects.Video video) {
             Object (video: video);
         }
@@ -60,8 +67,8 @@
             });
 
             video.title_changed.connect (() => {
-                title.label = video.title;
-                title.show ();
+                title_label.label = video.title;
+                title_label.show ();
             });
 
             spinner_container = new Gtk.Grid ();
@@ -69,7 +76,7 @@
             spinner_container.width_request = Audience.Services.POSTER_WIDTH;
             spinner_container.margin_top = spinner_container.margin_left = spinner_container.margin_right = 12;
             spinner_container.get_style_context ().add_class ("card");
-            
+
             spinner = new Gtk.Spinner ();
             spinner.expand = true;
             spinner.active = true;
@@ -85,16 +92,69 @@
             grid.valign = Gtk.Align.START;
             grid.row_spacing = 12;
 
-            title = new Gtk.Label (video.title);
-            title.justify = Gtk.Justification.CENTER;
-            title.set_line_wrap (true);
-            title.max_width_chars = 0;
-
+            title_label = new Gtk.Label (video.title);
+            title_label.justify = Gtk.Justification.CENTER;
+            title_label.set_line_wrap (true);
+            title_label.max_width_chars = 0;
 
             grid.attach (spinner_container, 0, 0, 1, 1);
-            grid.attach (title, 0, 1, 1 ,1);
-
-            this.add (grid);
+            grid.attach (title_label, 0, 1, 1 ,1);
+
+            context_menu = new Gtk.Menu ();
+            new_cover = new Gtk.MenuItem.with_label (_("Set Artwork"));
+            new_cover.activate.connect ( set_new_cover );
+            move_to_trash = new Gtk.MenuItem.with_label (_("Move to Trash"));
+            move_to_trash.activate.connect ( move_video_to_trash );
+
+            context_menu.append (new_cover);
+            context_menu.append (new Gtk.SeparatorMenuItem ());
+            context_menu.append (move_to_trash);
+            context_menu.show_all ();
+
+            event_box = new Gtk.EventBox ();
+            event_box.button_press_event.connect (show_context_menu);
+            event_box.add (grid);
+
+            this.add (event_box);
+        }
+
+        private bool show_context_menu (Gtk.Widget sender, Gdk.EventButton evt) {
+            if (evt.type == Gdk.EventType.BUTTON_PRESS && evt.button == 3) {
+                context_menu.popup (null, null, null, evt.button, evt.time);
+                return true;
+            }
+
+            return false;
+        }
+
+        private void set_new_cover () {
+            var file = new Gtk.FileChooserDialog (_("Open"), Audience.App.get_instance ().mainwindow, Gtk.FileChooserAction.OPEN,
+                _("_Cancel"), Gtk.ResponseType.CANCEL, _("_Open"), Gtk.ResponseType.ACCEPT);
+
+            var image_filter = new Gtk.FileFilter ();
+            image_filter.set_filter_name (_("Image files"));
+            image_filter.add_mime_type ("image/*");
+
+            file.add_filter (image_filter);
+
+            if (file.run () == Gtk.ResponseType.ACCEPT) {
+                Gdk.Pixbuf? pixbuf = video.get_poster_from_file (file.get_file ().get_path ());
+                if (pixbuf != null) {
+                    try {
+                        pixbuf.save (video.video_file.get_path() + ".jpg", "jpeg");
+                        video.set_new_poster (pixbuf);
+                    } catch (Error e) {
+                        warning (e.message);
+                    }
+                    video.initialize_poster.begin ();
+                }
+            }
+
+            file.destroy ();
+        }
+
+        private void move_video_to_trash () {
+            video.trash ();
         }
     }
 }

=== modified file 'src/Widgets/LibraryPage.vala'
--- src/Widgets/LibraryPage.vala	2016-09-23 19:54:34 +0000
+++ src/Widgets/LibraryPage.vala	2016-09-25 00:39:06 +0000
@@ -20,13 +20,13 @@
  */
 
 namespace Audience {
-    public class LibraryPage : Gtk.ScrolledWindow {
+    public class LibraryPage : Gtk.Grid {
 
         public signal void filter_result_changed (bool has_results);
 
         public Gtk.FlowBox view_movies;
-        Audience.Services.LibraryManager manager;
-
+        public Audience.Services.LibraryManager manager;
+        public Gtk.ScrolledWindow scrolled_window;
         bool poster_initialized = false;
         int items_counter;
         string query;
@@ -45,6 +45,9 @@
             query = "";
             items_counter = 0;
 
+            scrolled_window = new Gtk.ScrolledWindow (null, null);
+            scrolled_window.expand = true;
+
             view_movies = new Gtk.FlowBox ();
             view_movies.margin = 24;
             view_movies.homogeneous = true;
@@ -54,9 +57,15 @@
             view_movies.selection_mode = Gtk.SelectionMode.NONE;
             view_movies.child_activated.connect (play_video);
 
+            scrolled_window.add (view_movies);
+
             manager = Audience.Services.LibraryManager.get_instance ();
             manager.video_file_detected.connect (add_item);
             manager.video_file_deleted.connect (remove_item_from_path);
+            manager.video_moved_to_trash.connect ((video) => {
+                Audience.App.get_instance ().mainwindow.set_app_notification (_("Video '%s' Removed.").printf (video.title));
+            });
+
             manager.begin_scan ();
 
             map.connect (() => {
@@ -70,7 +79,7 @@
             view_movies.set_sort_func (video_sort_func);
             view_movies.set_filter_func (video_filter_func);
 
-            add (view_movies);
+            add (scrolled_window);
         }
 
         private void add_item (Audience.Objects.Video video) {
@@ -105,6 +114,10 @@
                     remove_item.begin (child as LibraryItem);
                 }
             }
+            
+            if (!has_child ()) {
+                Audience.App.get_instance ().mainwindow.navigate_back ();
+            }
         }
 
         private async void poster_initialisation () {
@@ -143,9 +156,9 @@
             view_movies.invalidate_filter ();
             filter_result_changed (has_child ());
         }
-        
+
         public bool has_child () {
-            if (view_movies.get_child_at_index (0) != null) {
+            if (view_movies.get_children ().length () > 0) {
                foreach (unowned Gtk.Widget child in view_movies.get_children ()) {
                    if (child.get_child_visible ()) {
                        return true;

=== modified file 'src/Window.vala'
--- src/Window.vala	2016-09-23 20:27:50 +0000
+++ src/Window.vala	2016-09-25 00:39:06 +0000
@@ -31,6 +31,8 @@
     private NavigationButton navigation_button;
     private ZeitgeistManager zeitgeist_manager;
     private Gtk.SearchEntry search_entry;
+    private Gtk.Revealer app_notification;
+    private Gtk.Label notification_label;
 
     // For better translation
     const string navigation_button_welcomescreen = N_("Back");
@@ -98,6 +100,14 @@
         player_page.notify["playing"].connect (() => {
             set_keep_above (player_page.playing && settings.stay_on_top);
         });
+        
+        player_page.map.connect (() => {
+            app_notification.visible = false;
+        });
+        
+        player_page.unmap.connect (() => {
+            app_notification.visible = true;
+        });
 
         alert_view = new Granite.Widgets.AlertView ("", "", "");
         alert_view.get_style_context ().add_class (Gtk.STYLE_CLASS_DIM_LABEL);
@@ -112,7 +122,41 @@
         main_stack.add_named (alert_view, "alert");
         main_stack.transition_type = Gtk.StackTransitionType.SLIDE_LEFT_RIGHT;
 
-        add (main_stack);
+        notification_label = new Gtk.Label ("");
+        var restore_button = new Gtk.Button.with_label (_("Restore"));
+        restore_button.clicked.connect (() => {
+            library_page.manager.undo_delete_item ();
+            app_notification.reveal_child = false;
+            main_stack.set_visible_child (library_page);
+        });
+
+        var close_button = new Gtk.Button.from_icon_name ("close-symbolic", Gtk.IconSize.MENU);
+        close_button.get_style_context ().add_class ("close-button");
+        close_button.clicked.connect (() => {
+            app_notification.reveal_child = false;
+        });
+
+        var notification_box = new Gtk.Grid ();
+        notification_box.column_spacing = 12;
+        notification_box.add (close_button);
+        notification_box.add (notification_label);
+        notification_box.add (restore_button);
+
+        var notification_frame = new Gtk.Frame (null);
+        notification_frame.get_style_context ().add_class ("app-notification");
+        notification_frame.add (notification_box);
+
+        app_notification = new Gtk.Revealer ();
+        app_notification.margin = 3;
+        app_notification.halign = Gtk.Align.CENTER;
+        app_notification.valign = Gtk.Align.START;
+        app_notification.add (notification_frame);
+
+        var overlay = new Gtk.Overlay ();
+        overlay.add_overlay (main_stack);
+        overlay.add_overlay (app_notification);
+
+        add (overlay);
         show_all ();
 
         navigation_button.hide ();
@@ -145,7 +189,8 @@
             if (event.button == Gdk.BUTTON_SECONDARY) {
                 player_page.playing = !player_page.playing;
             }
-            return false;
+
+            return base.button_press_event(event);
         });
 
         window_state_event.connect ((e) => {
@@ -169,7 +214,7 @@
 
     /** Returns true if the code parameter matches the keycode of the keyval parameter for
     * any keyboard group or level (in order to allow for non-QWERTY keyboards) **/
-    protected bool match_keycode (int keyval, uint code) {
+    public bool match_keycode (int keyval, uint code) {
         Gdk.KeymapKey [] keys;
         Gdk.Keymap keymap = Gdk.Keymap.get_default ();
         if (keymap.get_entries_for_keyval (keyval, out keys)) {
@@ -275,13 +320,15 @@
                 show_library ();
                 return true;
             }
-        } else if (main_stack.get_visible_child () == library_page && !search_entry.is_focus && e.str.strip ().length > 0) {
-            search_entry.grab_focus ();
         } else if (search_entry.visible) {
             if (ctrl_pressed && match_keycode (Gdk.Key.f, keycode)) {
                 search_entry.grab_focus ();
+            } else if (ctrl_pressed && match_keycode (Gdk.Key.z, keycode)) {
+                library_page.manager.undo_delete_item ();
             } else if (match_keycode (Gdk.Key.Escape, keycode)) {
                 search_entry.text = "";
+            } else if (!search_entry.is_focus && e.str.strip ().length > 0) {
+                search_entry.grab_focus ();
             }
         }
 
@@ -331,7 +378,7 @@
         navigation_button.label = navigation_button_welcomescreen;
         navigation_button.show ();
         main_stack.set_visible_child (library_page);
-        library_page.grab_focus ();
+        library_page.scrolled_window.grab_focus ();
     }
 
     public void run_open_file (bool clear_playlist = false, bool force_play = true) {
@@ -457,4 +504,9 @@
         alert_view.icon_name = icon_name;
         main_stack.set_visible_child_full ("alert", Gtk.StackTransitionType.NONE);
     }
+    
+    public void set_app_notification (string text) {
+        notification_label.label = text;
+        app_notification.reveal_child = true;
+    }
 }