[gedit/help-pages] Docs: Add note on global snippets.
- From: Sindhu S <sindhus src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gedit/help-pages] Docs: Add note on global snippets.
- Date: Fri, 22 Mar 2013 08:52:13 +0000 (UTC)
commit e29c7a2d2ee83c41d67fe91c38e1ffe515f0aa7b
Author: Sindhu S <sindhus live in>
Date: Fri Mar 22 04:51:15 2013 -0400
Docs: Add note on global snippets.
help/C/gedit-plugins-snippets.page | 5 +++++
1 files changed, 5 insertions(+), 0 deletions(-)
---
diff --git a/help/C/gedit-plugins-snippets.page b/help/C/gedit-plugins-snippets.page
index 3e28108..ccf5f08 100644
--- a/help/C/gedit-plugins-snippets.page
+++ b/help/C/gedit-plugins-snippets.page
@@ -119,6 +119,11 @@
<p>From the <gui>Manage Snippets</gui> sidebar select the desired syntax
and click on the "+" button to list existing snippets for the selected
syntax.</p>
+ <note style="tip">
+ <p>To add a snippet that works gloablly (that is, when no particular
+ syntax or language has been set for the document), select
+ <gui>Global</gui> from the <gui>Manage Snippets</gui> sidebar.</p>
+ </note>
</item>
<item>
<p>To add a new snippet, click on the "plus" icon in the
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]