[gedit-plugins] sessionsaver: Use Unicode typography in new strings

[Piotr Drąg <piotrdrag src gnome org>]

commit a3b2e6821e524b1406664f6c67821394d3341f01
Author: Piotr Drąg <piotrdrag gmail com>
Date:   Fri Jul 5 18:59:07 2019 +0200

    sessionsaver: Use Unicode typography in new strings
    
    See https://developer.gnome.org/hig/stable/typography.html

 help/C/session-saver.page                           | 4 ++--
 plugins/sessionsaver/sessionsaver/appactivatable.py | 6 +++---
 2 files changed, 5 insertions(+), 5 deletions(-)
---
diff --git a/help/C/session-saver.page b/help/C/session-saver.page
index ec56d2c..302cf64 100644
--- a/help/C/session-saver.page
+++ b/help/C/session-saver.page
@@ -47,7 +47,7 @@
       <item>
         <p>Select <guiseq><gui style="menu">gedit</gui>
         <gui style="menuitem">Tools</gui>
-        <gui style="tab">Save Session...</gui></guiseq>.</p>
+        <gui style="tab">Save Session…</gui></guiseq></p>
       </item>
     </steps>
   </section>
@@ -75,7 +75,7 @@
         <item>
           <p>Select <guiseq><gui style="menu">gedit</gui>
           <gui style="menuitem">Tools</gui>
-          <gui style="tab">Manage Saved Sessions...</gui></guiseq></p>
+          <gui style="tab">Manage Saved Sessions…</gui></guiseq></p>
         </item>
     </steps>
   </section>
diff --git a/plugins/sessionsaver/sessionsaver/appactivatable.py 
b/plugins/sessionsaver/sessionsaver/appactivatable.py
index f271c40..5892e82 100644
--- a/plugins/sessionsaver/sessionsaver/appactivatable.py
+++ b/plugins/sessionsaver/sessionsaver/appactivatable.py
@@ -52,16 +52,16 @@ class SessionSaverAppActivatable(GObject.Object, Gedit.AppActivatable):
     def _insert_session_menu(self):
         self.menu_ext = self.extend_menu("tools-section")
 
-        item = Gio.MenuItem.new(_("_Manage Saved Sessions..."), "win.managedsession")
+        item = Gio.MenuItem.new(_("_Manage Saved Sessions…"), "win.managedsession")
         self.menu_ext.append_menu_item(item)
 
-        item = Gio.MenuItem.new(_("_Save Session..."), "win.savesession")
+        item = Gio.MenuItem.new(_("_Save Session…"), "win.savesession")
         self.menu_ext.append_menu_item(item)
 
         self.sessions = XMLSessionStore()
         for i, session in enumerate(self.sessions):
             session_id = 'win.session_{0}'.format(i)
-            item = Gio.MenuItem.new(_("Recover '{0}' Session").format(session.name), session_id)
+            item = Gio.MenuItem.new(_("Recover “{0}” Session").format(session.name), session_id)
             self.menu_ext.append_menu_item(item)
 
     def _remove_session_menu(self):