[gedit/zbrown/deteplification-src: 245/633] help: update Preferences button name for plugins
- From: Zander Brown <zbrown src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gedit/zbrown/deteplification-src: 245/633] help: update Preferences button name for plugins
- Date: Sat, 10 Apr 2021 12:47:59 +0000 (UTC)
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]