Hide the time of saved session file by default unless the debugging m…

…ode is enabled. Part of: #70
nlpsuge · Feb 25, 2023 · 507f858 · 507f858
1 parent f3f8dff
commit 507f858
Show file tree

Hide file tree

Showing 3 changed files with 14 additions and 6 deletions.
diff --git a/saveSession.js b/saveSession.js
@@ -2,6 +2,8 @@
 
 const { Shell, Gio, GLib, Meta } = imports.gi;
 
+const Main = imports.ui.main;
+
 const ByteArray = imports.byteArray;
 
 const ExtensionUtils = imports.misc.extensionUtils;
@@ -20,7 +22,8 @@ const SubprocessUtils = Me.imports.utils.subprocessUtils;
 
 var SaveSession = class {
 
-    constructor() {
+    constructor(notifyUser) {
+        this._notifyUser = notifyUser;
         this._log = new Log.Log();
 
         this._saveSessionIdleId = null;
@@ -447,7 +450,11 @@ var SaveSession = class {
                         try {
                             success = sessionFile.replace_contents_finish(asyncResult);
                             if (success) {
-                                this._log.info(`Session saved to ${sessionFile.get_path()}!`);
+                                const savedMsg = `Session ${sessionConfig.session_name} saved to ${sessionFile.get_path()}!`;
+                                Log.Log.getDefault().info(`${savedMsg}`);
+                                if (this._notifyUser) {
+                                    Main.notify(`Another Window Session Manager`, savedMsg);
+                                }
                                 resolve(success);
                                 // TODO Notification
                                 return;

diff --git a/ui/popupMenuButtonItems.js b/ui/popupMenuButtonItems.js
@@ -258,7 +258,7 @@ class PopupMenuButtonItemSave extends PopupMenuButtonItem {
         this._addYesAndNoButtons();
 
         this._log = new Log.Log();
-        this._saveSession = new SaveSession.SaveSession();
+        this._saveSession = new SaveSession.SaveSession(true);
 
         this._timeline = this.createTimeLine();
 

diff --git a/ui/sessionItemButtons.js b/ui/sessionItemButtons.js
@@ -37,7 +37,7 @@ class SessionItemButtons extends GObject.Object {
         this.sessionItem = sessionItem;
 
         // TODO Nullify created object?
-        this._saveSession = new SaveSession.SaveSession();
+        this._saveSession = new SaveSession.SaveSession(true);
         this._moveSession = new MoveSession.MoveSession();
         this._closeSession = new CloseSession.CloseSession();
 
@@ -46,8 +46,6 @@ class SessionItemButtons extends GObject.Object {
 
     addButtons() {
         this._addTags();
-
-        this._addSeparator();
 
         const saveButton = this._addButton('save-symbolic.svg');
         new Tooltip.Tooltip({
@@ -175,6 +173,8 @@ class SessionItemButtons extends GObject.Object {
     }
 
     _addTags() {
+        if (Log.Log.getDefault().isDebug()) return;
+
         // TODO Make the modification time align left
 
         let button = new St.Button({
@@ -187,6 +187,7 @@ class SessionItemButtons extends GObject.Object {
         }
         this.sessionItem.actor.add_child(button);
 
+        this._addSeparator();
     }
 
     _addSeparator() {