[gedit-latex] symbols: use the right placeholder
- From: Ignacio Casal Quinteiro <icq src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gedit-latex] symbols: use the right placeholder
- Date: Wed, 5 Oct 2011 16:33:26 +0000 (UTC)
commit afd0586b73b9e23379d0262db926e493f25a49aa
Author: Ignacio Casal Quinteiro <icq gnome org>
Date: Wed Oct 5 18:33:10 2011 +0200
symbols: use the right placeholder
data/symbols.xml | 22 +++++++++++-----------
1 files changed, 11 insertions(+), 11 deletions(-)
---
diff --git a/data/symbols.xml b/data/symbols.xml
index 0d25d49..711a372 100644
--- a/data/symbols.xml
+++ b/data/symbols.xml
@@ -173,15 +173,15 @@ Street, Fifth Floor, Boston, MA 02110-1301, USA
<symbol icon="special/oint.png">\oint</symbol>
</group>
<group label="Accents">
- <symbol icon="accents/dot.png">\dot{$_}</symbol>
- <symbol icon="accents/ddot.png">\ddot{$_}</symbol>
- <symbol icon="accents/bar.png">\bar{$_}</symbol>
- <symbol icon="accents/tilde.png">\tilde{$_}</symbol>
- <symbol icon="accents/vec.png">\vec{$_}</symbol>
- <symbol icon="accents/hat.png">\hat{$_}</symbol>
- <symbol icon="accents/acute.png">\acute{$_}</symbol>
- <symbol icon="accents/grave.png">\grave{$_}</symbol>
- <symbol icon="accents/breve.png">\breve{$_}</symbol>
- <symbol icon="accents/check.png">\check{$_}</symbol>
+ <symbol icon="accents/dot.png">\dot{$0}</symbol>
+ <symbol icon="accents/ddot.png">\ddot{$0}</symbol>
+ <symbol icon="accents/bar.png">\bar{$0}</symbol>
+ <symbol icon="accents/tilde.png">\tilde{$0}</symbol>
+ <symbol icon="accents/vec.png">\vec{$0}</symbol>
+ <symbol icon="accents/hat.png">\hat{$0}</symbol>
+ <symbol icon="accents/acute.png">\acute{$0}</symbol>
+ <symbol icon="accents/grave.png">\grave{$0}</symbol>
+ <symbol icon="accents/breve.png">\breve{$0}</symbol>
+ <symbol icon="accents/check.png">\check{$0}</symbol>
</group>
-</symbols>
\ No newline at end of file
+</symbols>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]