diff options
author | Rüdiger Timm <rt@openoffice.org> | 2007-11-09 09:52:34 +0000 |
---|---|---|
committer | Rüdiger Timm <rt@openoffice.org> | 2007-11-09 09:52:34 +0000 |
commit | d34be06bfbaefb712dce4b167407563d84295d97 (patch) | |
tree | cc20ff0a9382267d243ce69a91025ed87aacc922 /starmath | |
parent | 2e2653a1a25551d6e5545abeab796d34deea7b74 (diff) |
INTEGRATION: CWS tl45 (1.29.50); FILE MERGED
2007/10/31 12:21:35 tl 1.29.50.1: #i82833# adding {} around some ov the <?> place holders for better default behaviour when replacing them
Diffstat (limited to 'starmath')
-rw-r--r-- | starmath/source/commands.src | 34 |
1 files changed, 17 insertions, 17 deletions
diff --git a/starmath/source/commands.src b/starmath/source/commands.src index e34d54be143b..54a1875e0a8a 100644 --- a/starmath/source/commands.src +++ b/starmath/source/commands.src @@ -4,9 +4,9 @@ * * $RCSfile: commands.src,v $ * - * $Revision: 1.29 $ + * $Revision: 1.30 $ * - * last change: $Author: ihi $ $Date: 2007-04-19 15:15:19 $ + * last change: $Author: rt $ $Date: 2007-11-09 10:52:34 $ * * The Contents of this file are made available subject to * the terms of GNU Lesser General Public License Version 2.1. @@ -53,7 +53,7 @@ String RID_XTIMESY { Text = "<?> times <?> " ; }; String RID_XSYMTIMESY { Text = "<?> * <?> " ; }; String RID_XSYMDIVIDEY { Text = "<?> / <?> " ; }; String RID_XDIVY { Text = "<?> div <?> " ; }; -String RID_XOVERY { Text = "<?> over <?> " ; }; +String RID_XOVERY { Text = "{<?>} over {<?>} " ; }; String RID_XODIVIDEY { Text = "<?> odivide <?> " ; }; String RID_XODOTY { Text = "<?> odot <?> " ; }; String RID_XOMINUSY { Text = "<?> ominus <?> " ; }; @@ -98,7 +98,7 @@ String RID_XNSUBSETEQY { Text = "<?> nsubseteq <?> " ; }; String RID_XNSUPSETY { Text = "<?> nsupset <?> " ; }; String RID_XNSUPSETEQY { Text = "<?> nsupseteq <?> " ; }; String RID_ABSX { Text = "abs{<?>} " ; }; -String RID_FACTX { Text = "fact <?> " ; }; +String RID_FACTX { Text = "fact {<?>} " ; }; String RID_SQRTX { Text = "sqrt{<?>} " ; }; String RID_NROOTXY { Text = "nroot{<?>}{<?>} " ; }; String RID_EX { Text = "func e^{<?>} " ; }; @@ -150,15 +150,15 @@ String RID_GRAVEX { Text = "grave <?> " ; }; String RID_HATX { Text = "hat <?> " ; }; String RID_TILDEX { Text = "tilde <?> " ; }; String RID_VECX { Text = "vec <?> " ; }; -String RID_UNDERLINEX { Text = "underline <?> " ; }; -String RID_OVERLINEX { Text = "overline <?> " ; }; -String RID_OVERSTRIKEX { Text = "overstrike <?> " ; }; -String RID_PHANTOMX { Text = "phantom <?> " ; }; +String RID_UNDERLINEX { Text = "underline {<?>} " ; }; +String RID_OVERLINEX { Text = "overline {<?>} " ; }; +String RID_OVERSTRIKEX { Text = "overstrike {<?>} " ; }; +String RID_PHANTOMX { Text = "phantom {<?>} " ; }; String RID_BOLDX { Text = "bold <?> " ; }; String RID_ITALX { Text = "ital <?> " ; }; -String RID_SIZEXY { Text = "size <?> <?> " ; }; -String RID_FONTXY { Text = "font <?> <?> " ; }; -String RID_COLORX { Text = "color <?> <?> " ; }; +String RID_SIZEXY { Text = "size <?> {<?>} " ; }; +String RID_FONTXY { Text = "font <?> {<?>} " ; }; +String RID_COLORX { Text = "color <?> {<?>} " ; }; String RID_LRGROUPX { Text = "{<?>} " ; }; String RID_LRPARENTX { Text = "(<?>) " ; }; String RID_LRBRACKETX { Text = "[<?>] " ; }; @@ -180,8 +180,8 @@ String RID_SLRFLOORX { Text = "left lfloor <?> right rfloor " ; }; String RID_SLRLINEX { Text = "left lline <?> right rline " ; }; String RID_SLRDLINEX { Text = "left ldline <?> right rdline " ; }; String RID_SLMRANGLEXY { Text = "left langle <?> mline <?> right rangle " ; }; -String RID_XOVERBRACEY { Text = "<?> overbrace <?> " ; }; -String RID_XUNDERBRACEY { Text = "<?> underbrace <?> " ; }; +String RID_XOVERBRACEY { Text = "{<?>} overbrace {<?>} " ; }; +String RID_XUNDERBRACEY { Text = "{<?>} underbrace {<?>} " ; }; String RID_RSUBX { Text = "<?>_{<?>}" ; }; String RID_RSUPX { Text = "<?>^{<?>}" ; }; String RID_LSUBX { Text = "<?> lsub{<?>} " ; }; @@ -211,7 +211,7 @@ String RID_DOTSDOWN { Text = "dotsdown " ; }; String RID_DOTSLOW { Text = "dotslow " ; }; String RID_DOTSVERT { Text = "dotsvert " ; }; String RID_XCIRCY { Text = "<?> circ <?> " ; }; -String RID_XWIDESLASHY { Text = "<?> wideslash <?> " ; }; +String RID_XWIDESLASHY { Text = "{<?>} wideslash {<?>} " ; }; String RID_XWIDEBSLASHY { Text = "<?> widebslash <?> " ; }; String RID_XDIVIDESY { Text = "<?> divides <?> " ; }; String RID_XNDIVIDESY { Text = "<?> ndivides <?> " ; }; @@ -223,9 +223,9 @@ String RID_SETZ { Text = "setZ " ; }; String RID_SETQ { Text = "setQ " ; }; String RID_SETR { Text = "setR " ; }; String RID_SETC { Text = "setC " ; }; -String RID_WIDEHATX { Text = "widehat <?> " ; }; -String RID_WIDETILDEX { Text = "widetilde <?> " ; }; -String RID_WIDEVECX { Text = "widevec <?> " ; }; +String RID_WIDEHATX { Text = "widehat {<?>} " ; }; +String RID_WIDETILDEX { Text = "widetilde {<?>} " ; }; +String RID_WIDEVECX { Text = "widevec {<?>} " ; }; String RID_HBAR { Text = "hbar " ; }; String RID_LAMBDABAR { Text = "lambdabar " ; }; String RID_LEFTARROW { Text = "leftarrow " ; }; |