diff -r 000000000000 -r 4b65c117aab7 icons/editundo.xpm
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/icons/editundo.xpm	Mon Oct 06 09:18:11 2008 +0000
@@ -0,0 +1,36 @@
+/* XPM */
+static const char *editundo_xpm[] = {
+/* columns rows colors chars-per-pixel */
+"22 22 8 1",
+"  c Gray100",
+". c #848284",
+"X c #000084",
+"o c Gray0",
+"O c None",
+"+ c Gray0",
+"@ c Gray0",
+"# c Gray0",
+/* pixels */
+"OOOOOOOOOOOOOOOOOOOOOO",
+"OOOOOOOOOOOOOOOOOOOOOO",
+"OOOOOOOOOOOOOOOOOOOOOO",
+"OOOOOOOOOOOOOOOOOOOOOO",
+"OOOOOOOOOOOOOOOOOOOOOO",
+"OOOOOOOOOOOXXXXXX.OOOO",
+"OOXOOOOOOXXXXXXXXXXOOO",
+"OOXXOOOXXXXOOOOOOXX.OO",
+"OOXXXOXXXOOOOOOOOOXXOO",
+"OOXXXXXXOOOOOOOOOOXXOO",
+"OOXXXXXOOOOOOOOOOOXXOO",
+"OOXXXXXXOOOOOOOOOOXXOO",
+"OOXXXXXXXOOOOOOOOOXXOO",
+"OOXXXXXXXXOOOOOOOXX.OO",
+"OOOOOOOOOOOOOOO.XXXOOO",
+"OOOOOOOOOOOOOOOXXXOOOO",
+"OOOOOOOOOOOOOOOOOOOOOO",
+"OOOOOOOOOOOOOOOOOOOOOO",
+"OOOOOOOOOOOOOOOOOOOOOO",
+"OOOOOOOOOOOOOOOOOOOOOO",
+"OOOOOOOOOOOOOOOOOOOOOO",
+"OOOOOOOOOOOOOOOOOOOOOO"
+};