]> git.lyx.org Git - features.git/commitdiff
add missing icons
authorJohn Levon <levon@movementarian.org>
Wed, 20 Nov 2002 18:42:04 +0000 (18:42 +0000)
committerJohn Levon <levon@movementarian.org>
Wed, 20 Nov 2002 18:42:04 +0000 (18:42 +0000)
git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@5687 a592a061-630c-0410-9148-cb99ea01b6c8

15 files changed:
lib/ChangeLog
lib/images/math/mathbb_C.xpm
lib/images/math/mathbb_H.xpm
lib/images/math/mathbb_N.xpm
lib/images/math/mathbb_Q.xpm
lib/images/math/mathbb_R.xpm
lib/images/math/mathbb_Z.xpm
lib/images/math/mathcal_F.xpm
lib/images/math/mathcal_H.xpm
lib/images/math/mathcal_L.xpm
lib/images/math/mathcal_O.xpm
lib/images/math/mathcircumflex.xpm
lib/images/math/mathrm_T.xpm
lib/images/math/textrm_0.xpm
lib/images/math/textrm_A.xpm

index b4c0ca0e14ef543888fee7ca53cbc0f61bb2d646..60684ab49578349c4290c5f4069667e4d18ca4f9 100644 (file)
@@ -1,3 +1,7 @@
+2002-11-20  John Levon  <levon@movementarian.org>
+
+       * images/math/: implement missing math icons
 2002-11-20  John Levon  <levon@movementarian.org>
 
        * images/math/: renames for stupid OSes
index f85e80208159086b03cf3d502d4f67c7f661bb6b..5c83eed9f000cc72bee927b6e64d5350d5d41395 100644 (file)
@@ -1,32 +1,22 @@
 /* XPM */
-static char const * empty_xpm[] = {
-/* width height num_colors chars_per_pixel */
-"    20    20        2            1",
-/* colors */
-". c #000000000000",
-"# c None",
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"13 14 2 1",
+"  c black",
+". c None",
 /* pixels */
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################"
+"...          ",
+".. .. .... . ",
+". .. ......  ",
+" ... ....... ",
+" .. .........",
+" .. .........",
+" .. .........",
+" .. .........",
+" .. .........",
+" .. .........",
+". . .........",
+". .. ....... ",
+".. ..  .... .",
+"...        .."
 };
-
-
-
index f85e80208159086b03cf3d502d4f67c7f661bb6b..5ca4e02c0a8bb4f8cc3720377e2694c6315c04eb 100644 (file)
@@ -1,32 +1,22 @@
 /* XPM */
-static char const * empty_xpm[] = {
-/* width height num_colors chars_per_pixel */
-"    20    20        2            1",
-/* colors */
-". c #000000000000",
-"# c None",
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"16 14 2 1",
+"  c black",
+". c None",
 /* pixels */
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################"
+"       ..       ",
+".. .. .... .. ..",
+".. .. .... .. ..",
+".. .. .... .. ..",
+".. .. .... .. ..",
+".. .. .... .. ..",
+".. ..      .. ..",
+".. .. .... .. ..",
+".. .. .... .. ..",
+".. .. .... .. ..",
+".. .. .... .. ..",
+".. .. .... .. ..",
+".. .. .... .. ..",
+"       ..       "
 };
-
-
-
index f85e80208159086b03cf3d502d4f67c7f661bb6b..3188613306b4d6a1dde23e05ab4761558bbdb904 100644 (file)
@@ -1,32 +1,22 @@
 /* XPM */
-static char const * empty_xpm[] = {
-/* width height num_colors chars_per_pixel */
-"    20    20        2            1",
-/* colors */
-". c #000000000000",
-"# c None",
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"15 14 2 1",
+"  c black",
+". c None",
 /* pixels */
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################"
+"     .....     ",
+".. . ....... ..",
+".. . ....... ..",
+".. .. ...... ..",
+"..  .. ..... ..",
+".. . .. .... ..",
+".. .. .. ... ..",
+".. ... .. .. ..",
+".. .... .. . ..",
+".. ..... ..  ..",
+".. ...... .. ..",
+".. ....... . ..",
+".. ....... . ..",
+"    ......     "
 };
-
-
-
index f85e80208159086b03cf3d502d4f67c7f661bb6b..dded3d67f401e2107bcc5a5f8b6658ace2442c51 100644 (file)
@@ -1,32 +1,26 @@
 /* XPM */
-static char const * empty_xpm[] = {
-/* width height num_colors chars_per_pixel */
-"    20    20        2            1",
-/* colors */
-". c #000000000000",
-"# c None",
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"15 18 2 1",
+"  c black",
+". c None",
 /* pixels */
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################"
+"... .      ....",
+".. . .... .  ..",
+". . ..... ... .",
+"  . ...... .. .",
+" .. ....... .. ",
+" . ........ .. ",
+" . ........ .. ",
+" . ........ .. ",
+" . ........ .. ",
+" . ........ .. ",
+". . ....... . .",
+". . ...... . ..",
+"..    ... . ...",
+"....       ....",
+"..... ... .....",
+"...... .. .... ",
+"....... . ... .",
+"........     .."
 };
-
-
-
index f85e80208159086b03cf3d502d4f67c7f661bb6b..26129a6aba09329031c63fbeba1f197fa1b397be 100644 (file)
@@ -1,32 +1,22 @@
 /* XPM */
-static char const * empty_xpm[] = {
-/* width height num_colors chars_per_pixel */
-"    20    20        2            1",
-/* colors */
-". c #000000000000",
-"# c None",
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"15 14 2 1",
+"  c black",
+". c None",
 /* pixels */
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################"
+".           ...",
+".. .. .. ... ..",
+".. .. ... .. ..",
+".. .. ... .. ..",
+".. .. ... .. ..",
+".. .. ..  .. ..",
+".. .. ..    ...",
+".. ..    ......",
+".. .. . . .....",
+".. .. .. . ....",
+".. .. .. .. ...",
+".. .. ... .. ..",
+".. .. .... .. .",
+"       ...     "
 };
-
-
-
index f85e80208159086b03cf3d502d4f67c7f661bb6b..8f58f9b8110d9bba6e9405656f91243eb0805d3c 100644 (file)
@@ -1,32 +1,22 @@
 /* XPM */
-static char const * empty_xpm[] = {
-/* width height num_colors chars_per_pixel */
-"    20    20        2            1",
-/* colors */
-". c #000000000000",
-"# c None",
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"13 14 2 1",
+"  c black",
+". c None",
 /* pixels */
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################"
+".            ",
+". . .... ... ",
+".  .... ... .",
+". ..... .. ..",
+"...... .. ...",
+"...... .. ...",
+"..... .. ....",
+".... .. .....",
+".... .. .....",
+"... .. ......",
+"... . ...... ",
+".. .. .....  ",
+". .. ..... . ",
+"             "
 };
-
-
-
index f85e80208159086b03cf3d502d4f67c7f661bb6b..9c1e7d141eda66bede8ff2e4c7358fd7d7515c47 100644 (file)
@@ -1,32 +1,23 @@
 /* XPM */
-static char const * empty_xpm[] = {
-/* width height num_colors chars_per_pixel */
-"    20    20        2            1",
-/* colors */
-". c #000000000000",
-"# c None",
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"17 15 2 1",
+"  c black",
+". c None",
 /* pixels */
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################"
+"......           ",
+"..... ..  ..... .",
+".... ...  .......",
+"... ....  .......",
+"........ ........",
+".......  ........",
+".......  ........",
+".......       ...",
+"......  .........",
+"......  .........",
+"...... ..........",
+".....  ..........",
+"  ... ...........",
+".     ...........",
+"..  ............."
 };
-
-
-
index f85e80208159086b03cf3d502d4f67c7f661bb6b..4e4ffdb6602a306f8742432ddf477ce33bb9a562 100644 (file)
@@ -1,32 +1,23 @@
 /* XPM */
-static char const * empty_xpm[] = {
-/* width height num_colors chars_per_pixel */
-"    20    20        2            1",
-/* colors */
-". c #000000000000",
-"# c None",
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"16 15 2 1",
+"  c black",
+". c None",
 /* pixels */
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################"
+"...    ........ ",
+".. ..  .......  ",
+". ...  ....... .",
+" .... .......  .",
+"..... ....... ..",
+"..... ......  ..",
+"....          ..",
+"....  ...... ...",
+".... ....... ...",
+"...  ......  ...",
+"... ....... ....",
+"... ......  ....",
+".. ....... .... ",
+".. ....... ... .",
+". ........    .."
 };
-
-
-
index f85e80208159086b03cf3d502d4f67c7f661bb6b..4473da662a55ca123df353c999685644bbf28a90 100644 (file)
@@ -1,32 +1,23 @@
 /* XPM */
-static char const * empty_xpm[] = {
-/* width height num_colors chars_per_pixel */
-"    20    20        2            1",
-/* colors */
-". c #000000000000",
-"# c None",
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"13 15 2 1",
+"  c black",
+". c None",
 /* pixels */
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################"
+".......    ..",
+"...... ...  .",
+"..... ....  .",
+".... ........",
+".... ........",
+".... ........",
+".... ........",
+"...  ........",
+"... .........",
+"... .........",
+"... .........",
+"..  .........",
+".. ......... ",
+".     ..... .",
+" .....     .."
 };
-
-
-
index f85e80208159086b03cf3d502d4f67c7f661bb6b..7be3380a0ba94167e2054c353d45274f88057f2f 100644 (file)
@@ -1,32 +1,22 @@
 /* XPM */
-static char const * empty_xpm[] = {
-/* width height num_colors chars_per_pixel */
-"    20    20        2            1",
-/* colors */
-". c #000000000000",
-"# c None",
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"15 14 2 1",
+"  c black",
+". c None",
 /* pixels */
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################"
+"..... ...     .",
+".... ...  .    ",
+"... ...  ....  ",
+".. ...  .....  ",
+". ...  ......  ",
+".  ..........  ",
+". ...........  ",
+"  ........... .",
+"  ........... .",
+"  .......... ..",
+"   ........ ...",
+".  ....... ....",
+".    .... .....",
+"...      ......"
 };
-
-
-
index f85e80208159086b03cf3d502d4f67c7f661bb6b..d9686a224fb2b6c29b6675dfcab09de8fd0d3dd5 100644 (file)
@@ -1,32 +1,10 @@
 /* XPM */
-static char const * empty_xpm[] = {
-/* width height num_colors chars_per_pixel */
-"    20    20        2            1",
-/* colors */
-". c #000000000000",
-"# c None",
-/* pixels */
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################"
-};
-
-
-
+static char * mathcircumflex_xpm[] = {
+"14 5 2 1",
+"      c None",
+".     c #000000",
+"       .      ",
+"     .. ..    ",
+"   ..     .   ",
+" ..        .. ",
+".            ."};
index f85e80208159086b03cf3d502d4f67c7f661bb6b..a687e5931b7cd69f488544558a0fcd08bd345f01 100644 (file)
@@ -1,32 +1,22 @@
 /* XPM */
-static char const * empty_xpm[] = {
-/* width height num_colors chars_per_pixel */
-"    20    20        2            1",
-/* colors */
-". c #000000000000",
-"# c None",
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"13 14 2 1",
+"  c black",
+". c None",
 /* pixels */
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################"
+"             ",
+"             ",
+" ..... ..... ",
+"...... ......",
+"...... ......",
+"...... ......",
+"...... ......",
+"...... ......",
+"...... ......",
+"...... ......",
+"...... ......",
+"...... ......",
+"....     ....",
+"....     ...."
 };
-
-
-
index f85e80208159086b03cf3d502d4f67c7f661bb6b..a079cc09525c3ae4243d903af4cd2fad3415cf08 100644 (file)
@@ -1,32 +1,24 @@
 /* XPM */
-static char const * empty_xpm[] = {
-/* width height num_colors chars_per_pixel */
-"    20    20        2            1",
-/* colors */
-". c #000000000000",
-"# c None",
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"13 16 2 1",
+"  c black",
+". c None",
 /* pixels */
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################"
+"......  .... ",
+"....  ..  . .",
+"...  ..... ..",
+"..  ..... . .",
+".  ...... . .",
+".  ..... ... ",
+"  ..... .... ",
+"  ..... .... ",
+"  .... ..... ",
+"  ... ...... ",
+". ... ...... ",
+".  . ....... ",
+"..  .......  ",
+"..  ......  .",
+".. . ....  ..",
+". ...     ..."
 };
-
-
-
index f85e80208159086b03cf3d502d4f67c7f661bb6b..dad8f3ab6d1b6371bb34ecc736650a70bcc90fa9 100644 (file)
@@ -1,32 +1,27 @@
 /* XPM */
-static char const * empty_xpm[] = {
-/* width height num_colors chars_per_pixel */
-"    20    20        2            1",
-/* colors */
-". c #000000000000",
-"# c None",
+static char *a[] = {
+/* columns rows colors chars-per-pixel */
+"12 19 2 1",
+"  c black",
+". c None",
 /* pixels */
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################",
-"####################"
+"....   .....",
+"... ... ....",
+"... ... ....",
+"... ... ....",
+"... ... ....",
+"....   .....",
+".....  .....",
+"....   .....",
+".... .  ....",
+"... ..  ....",
+"... ...  ...",
+"... ...  ...",
+".. ....  ...",
+".. .....  ..",
+"..        ..",
+".. .....  ..",
+". .......  .",
+". .......  .",
+"   .....    "
 };
-
-
-