[gedit/zbrown/deteplification-src: 245/633] help: update Preferences button name for plugins




commit 24f5ed29396d48a871d9cb80fdc18809bfa65710
Author: Guillaume Bernard <associations guillaume-bernard fr>
Date:   Sun Apr 5 10:44:17 2020 +0000

    help: update Preferences button name for plugins

 help/C/gedit-plugins-insert-date-time.page | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/help/C/gedit-plugins-insert-date-time.page b/help/C/gedit-plugins-insert-date-time.page
index de224ecfd..8acfcda36 100644
--- a/help/C/gedit-plugins-insert-date-time.page
+++ b/help/C/gedit-plugins-insert-date-time.page
@@ -45,6 +45,6 @@
   However, you can choose your own default date and time format by pressing the
   menu button in the top-right corner of the window and selecting <guiseq>
   <gui style="menuitem">Preferences</gui><gui style="tab">Plugins</gui><gui>
-  Insert Date/Time</gui><gui style="button">Configure</gui></guiseq>.</p>
+  Insert Date/Time</gui><gui style="button">Preferences</gui></guiseq>.</p>
 
 </page>


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]