On Thu, Sep 06, 2007 at 07:47:43PM +0200, Jürgen Spitzmüller wrote:
> Enrico Forestieri wrote:
> > I could provide a patch. Note that this is easily done with the xpm
> > format.
>
> Please do that.
Done. I would also suggest the attached patch.
--
Enrico
Index: lib/images/math/lbrace_rbrace.xpm
===================================================================
--- lib/images/math/lbrace_rbrace.xpm (revision 20114)
+++ lib/images/math/lbrace_rbrace.xpm (working copy)
@@ -1,7 +1,7 @@
/* XPM */
static char const * const lbrace_rbrace_xpm[] = {
/* width height ncolors chars_per_pixel */
-"19 22 16 1",
+"19 20 16 1",
/* colors */
"O c None",
" c #000000",
@@ -28,7 +28,6 @@ static char const * const lbrace_rbrace_
"OOOOO OOOOOOOO OOOO",
"OOOOO OOOOOOOO OOOO",
"OOOOO OOOOOOOO OOOO",
-"OOOOO OOOOOOOO OOOO",
"[EMAIL PROTECTED] OOOO",
"OOOO.XOOOOOOOO*$OOO",
"OOO&&OOOOOOOOOOX$OO",
@@ -37,7 +36,6 @@ static char const * const lbrace_rbrace_
"OOOOO OOOOOOOO OOOO",
"OOOOO OOOOOOOO OOOO",
"OOOOO OOOOOOOO OOOO",
-"OOOOO OOOOOOOO OOOO",
"[EMAIL PROTECTED] OOOO",
"OOOOO=;OOOOOO$oOOOO",
"OOOOO+X$OOOO&X+OOOO",
Index: lib/images/math/lparen_rparen.xpm
===================================================================
--- lib/images/math/lparen_rparen.xpm (revision 20114)
+++ lib/images/math/lparen_rparen.xpm (working copy)
@@ -1,7 +1,7 @@
/* XPM */
static char const * const lparen_rparen_xpm[] = {
/* width height ncolors chars_per_pixel */
-"16 22 16 1",
+"16 20 16 1",
/* colors */
"O c None",
" c #000000",
@@ -32,8 +32,6 @@ static char const * const lparen_rparen_
"OOO +OOOOOOO-OOO",
"OOO OOOOOOOO OOO",
"OOO OOOOOOOO OOO",
-"OOO OOOOOOOO OOO",
-"OOO OOOOOOOO OOO",
"OOOoOOOOOOO@ OOO",
"OOO&@OOOOOO#=OOO",
"OOO$.OOOOOOXXOOO",
Index: lib/images/math/cases.xpm
===================================================================
--- lib/images/math/cases.xpm (revision 20114)
+++ lib/images/math/cases.xpm (working copy)
@@ -1,73 +1,43 @@
/* XPM */
static char *cases[] = {
/* columns rows colors chars-per-pixel */
-"36 64 3 1",
-" c black",
-"# c blue",
-": c None",
+"20 20 16 1",
+/* colors */
+"O c None",
+" c #000000",
+". c #939393",
+"X c #676767",
+"o c #3B3B3B",
+"+ c #CECECE",
+"@ c #0F0F0F",
+"# c #B0B0B0",
+"$ c #A2A2A2",
+"% c #848484",
+"& c #767676",
+"* c #585858",
+"= c #4A4A4A",
+"- c #1E1E1E",
+"; c #BFBFBF",
+": c blue",
/* pixels */
-":::::::::::::::: ::::::::::::::::::::",
-":::::::::::::::: ::::::::::::::::::::",
-":::::::::::::: ::::::::::::::::::::",
-":::::::::::::: ::::::::::::::::::::",
-":::::::::::: ::::::::::::::::::::::",
-":::::::::::: ::::::::::::::::::::::",
-":::::::::::: ::::::::::::::::::::::::",
-":::::::::::: ::::::::::::::::::::::::",
-":::::::::::: ::::::::::::::::::::::::",
-":::::::::::: ::::::::::::::::::::::::",
-":::::::::::: ::::::::::::::::::::::::",
-":::::::::::: ::::::::::####::::::::::",
-":::::::::::: :::::::::#::::#:::::::::",
-":::::::::::: ::::::::##::::##::::::::",
-":::::::::::: ::::::::##::::##::::::::",
-":::::::::::: :::::::::::::###::::::::",
-":::::::::::: :::::::::::##:##::::::::",
-":::::::::::: :::::::::##:::##::::::::",
-":::::::::::: ::::::::##::::##::::::::",
-":::::::::::: ::::::::##::::##::::::::",
-":::::::::::: ::::::::##::::##::::::::",
-":::::::::::: ::::::::###::###:#::::::",
-":::::::::::: :::::::::####:###:::::::",
-":::::::::::: ::::::::::::::::::::::::",
-":::::::::::: ::::::::::::::::::::::::",
-":::::::::::: ::::::::::::::::::::::::",
-"::::::::::: ::::::::::::::::::::::::",
-":::::::::: :::::::::::::::::::::::::",
-":::::::::: ::::::::::::::::::::::::::",
-"::::::::: ::::::::::::::::::::::::::",
-":::::::: :::::::::::::::::::::::::::",
-"::::::: ::::::::::::::::::::::::::::",
-"::::::: ::::::::::::::::::::::::::::",
-":::::::: :::::::::::::::::::::::::::",
-"::::::::: ::::::::::::::::::::::::::",
-":::::::::: ::::::::::::::::::::::::::",
-":::::::::: :::::::::::::::::::::::::",
-"::::::::::: ::::::::::::::::::::::::",
-":::::::::::: ::::::::##::::::::::::::",
-":::::::::::: ::::::####::::::::::::::",
-":::::::::::: ::::::::##::::::::::::::",
-":::::::::::: ::::::::##::::::::::::::",
-":::::::::::: ::::::::##::::::::::::::",
-":::::::::::: ::::::::##::::::::::::::",
-":::::::::::: ::::::::##:####:::::::::",
-":::::::::::: ::::::::###:::###:::::::",
-":::::::::::: ::::::::##:::::##:::::::",
-":::::::::::: ::::::::##::::::##::::::",
-":::::::::::: ::::::::##::::::##::::::",
-":::::::::::: ::::::::##::::::##::::::",
-":::::::::::: ::::::::##::::::##::::::",
-":::::::::::: ::::::::##::::::##::::::",
-":::::::::::: ::::::::##::::::#:::::::",
-":::::::::::: ::::::::##:::::##:::::::",
-":::::::::::: ::::::::###:::##::::::::",
-":::::::::::: ::::::::::####::::::::::",
-":::::::::::: ::::::::::::::::::::::::",
-":::::::::::: ::::::::::::::::::::::::",
-":::::::::::: ::::::::::::::::::::::",
-":::::::::::: ::::::::::::::::::::::",
-":::::::::::::: ::::::::::::::::::::",
-":::::::::::::: ::::::::::::::::::::",
-":::::::::::::::: ::::::::::::::::::::",
-":::::::::::::::: ::::::::::::::::::::"
-}:
+"OOOOOOOOOOOOOOOOOOOO",
+"OOOOOOO%XOOOOOOOOOOO",
+"OOOOOO%*+O:::::OOOOO",
+"[EMAIL PROTECTED]:OOO:OOOOO",
+"OOOOOO OOO:OOO:OOOOO",
+"OOOOOO OOO:OOO:OOOOO",
+"OOOOOO OOO:OOO:OOOOO",
+"[EMAIL PROTECTED]:OOO:OOOOO",
+"OOOOO.XOOO:::::OOOOO",
+"OOOO&&OOOOOOOOOOOOOO",
+"OOOO;*+OOOOOOOOOOOOO",
+"OOOOO;=OOO:::::OOOOO",
+"OOOOOO OOO:OOO:OOOOO",
+"OOOOOO OOO:OOO:OOOOO",
+"OOOOOO OOO:OOO:OOOOO",
+"OOOOOO OOO:OOO:OOOOO",
+"[EMAIL PROTECTED]:OOO:OOOOO",
+"OOOOOO=;OO:::::OOOOO",
+"OOOOOO+X$OOOOOOOOOOO",
+"OOOOOOOOOOOOOOOOOOOO"
+};
Index: lib/images/math/lbracket_rbracket.xpm
===================================================================
--- lib/images/math/lbracket_rbracket.xpm (revision 20114)
+++ lib/images/math/lbracket_rbracket.xpm (working copy)
@@ -1,7 +1,7 @@
/* XPM */
static char const * const lbracket_rbracket_xpm[] = {
/* width height ncolors chars_per_pixel */
-"13 22 4 1",
+"13 20 4 1",
/* colors */
"X c None",
" c #000000",
@@ -26,8 +26,6 @@ static char const * const lbracket_rbrac
"XX XXXXXXX XX",
"XX XXXXXXX XX",
"XX XXXXXXX XX",
-"XX XXXXXXX XX",
-"XX XXXXXXX XX",
"XX .XXX. XX",
"XXXXXXXXXXXXX"
};
